Home / Idris / typedefs typedefs Programming language-agnostic, algebraic data type definition language Package 370 stars GitHub Back to Idris