typedefs is a grammar language created in 2017.

Typedefs is a programming language agnostic, algebraic data type definition language, written in Idris.

• typedefs website
• typedefs.com was registered in 2017