Starred repositories
4
results
for source starred repositories
written in Idris
Clear filter
A purely functional programming language with first class types
A dependently typed programming language, a successor to Idris
Idris version of Domain Modeling Made Functional Book.