01Entry
Idris2 Functional Language
Idris 2 is a purely functional programming language with first-class types, supporting dependent types. It is notable for its cutting-edge type system and compiler.
01Entry
Idris 2 is a purely functional programming language with first-class types, supporting dependent types. It is notable for its cutting-edge type system and compiler.