Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras
Repository Index
70,234 visible repositories in the index
1–3 of 3 · Most stars
Type provider library for Idris
Effectful bindings for SQLite (forked from IdrisWeb)