Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras
Repository Index
89,073 visible repositories in the index
1–4 of 4 · Most stars
Recursion schemes for Idris
- idris
- recursion-schemes
- idris-ecosystem
- control-flow
build tool and package manager for idris,in idris,with free monads
- idris
- free-monads
- package-manager
Ring solver for Idris