A purely functional programming language with first class types
- compiler
- dependent-types
- hacktoberfest
Repository Index
87,075 visible repositories in the index
1–3 of 3 · Most stars
Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras
A test framework for Idris
- idris
- idris-ecosystem
- unittest
- testing