Reviews
Free Monads and useful constructions to work with them
Search similar apps
License
BSD 2-Clause "Simplified" License
Related apps
idris-koans
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans
Idris179bsd-3-clause
7 years ago