typedefs is an actively used grammar language created in 2017. Typedefs is a programming language agnostic, algebraic data type definition language, written in Idris.

3Years Old ?Users ?Jobs
  • 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 June 22nd, 2020

Edit typedefs on GitHub