typedefs
Programming language agnostic type construction language based on polynomials.
366 stars
15 watching
18 forks
Language: Idris
last commit: 4 months ago
Linked from 1 awesome list
category-theoryf-algebrasmarshallingserializationserialization-librarytype-definitionstype-theorytypes
joaomilho/awesome-idris