Idris on the JVM
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
Software Foundations in Idris
Idris version of Domain Modeling Made Functional Book.
Recursion schemes for Idris
A test framework for Idris
build tool and package manager for idris,in idris,with free monads