Reviews
Free Monads and useful constructions to work with them
Search similar apps
License
BSD 2-Clause "Simplified" License
Related apps
IdrisScript
FFI Bindings to interact with the unsafe world of JavaScript
Idris88bsd-2-clause
6 years ago
idris-koans
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans
Idris173bsd-3-clause
6 years ago