Software Foundations in Idris
- idris
- theorem-proving
- book
- computer-science
Repository Index
56,638 visible repositories in the index
1–8 of 8 · Most stars
xmonad with the X11 abstracted and configured with Idris
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
- type-safety
- units-of-measure
- unit-conversion
Recursion schemes for Idris
- idris
- recursion-schemes
- idris-ecosystem
- control-flow
Probabilistic computation in Idris
build tool and package manager for idris,in idris,with free monads
- idris
- free-monads
- package-manager
Free Monads and useful constructions to work with them