Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
Type provider library for Idris
An HTTP library for idris