Last released Nov 2, 2022
Type inference for transformation algebras.
A library for type inference and graph production.
Supported by