idris-lang
Results
4
repositories owned by
idris-lang
Idris2
2.4k
Stars
365
Forks
Watchers
A purely functional programming language with first class types
idris-emptycg
51
Stars
21
Forks
Watchers
An empty code generator, to be used as a starting point for any new back ends.