structured-types

There are 2 repositories under structured-types topic.

UniMath/agda-unimath
The agda-unimath library
Language:Agda266 13 20288
iliocatallo/typista
ML-inspired structured types.
Language:JavaScript1 2 00