typedefs is an actively used grammar language created in 2017. Typedefs is a programming language agnostic, algebraic data type definition language, written in Idris.
- the typedefs website
- typedefs first appeared in 2017
- Have a question about typedefs not answered here? Email me and let me know how I can help.
Last updated February 7th, 2020