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.
Repository Index
85,081 visible repositories in the index
1–4 of 4 · Most stars
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
- type-safety
- units-of-measure
- unit-conversion
Idris version of Domain Modeling Made Functional Book.
- fp
- idris
- ddd
- depedent-types
Recursion schemes for Idris
- idris
- recursion-schemes
- idris-ecosystem
- control-flow