Typedefs

This is a language agnostic typesystem developed by Statebox which uses constructions based on polynomials.

You can visit the github repo here.

And this is the official website for the project.

Subscribe to our email list to stay up to date!