Reviews
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.
Search similar apps
License
BSD 3-Clause "New" or "Revised" License
Related apps
IdrisScript
FFI Bindings to interact with the unsafe world of JavaScript
Idris88bsd-2-clause
6 years ago