A purely functional programming language with first class types
- compiler
- dependent-types
- hacktoberfest
Repository Index
71,372 visible repositories in the index
1–2 of 2 · Most stars
Probabilistic computation in Idris
71,372 visible repositories in the index
1–2 of 2 · Most stars
A purely functional programming language with first class types
Probabilistic computation in Idris