byorgey / type-matricesLinks

Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
13Updated 7 years ago

Alternatives and similar repositories for type-matrices

Users that are interested in type-matrices are comparing it to the libraries listed below

Sorting: