A purely functional programming language with first class types
- compiler
- dependent-types
- hacktoberfest
Repository Index
68,760 visible repositories in the index
1–2 of 2 · Most stars
Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras