←Backtypedefs/typedefs0Copy as MarkdownView on GitHub↗372 stars·18 forks·Idris·AGPL-3.0·0 viewstypedefs.com↗TypedefsTypedefs is a programming language-agnostic, algebraic data type definition language, written in Idris. FeaturesProjects - Listed in the “Projects” section of the Awesome Idris awesome list.