idris-koans

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

    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.

    Creator

    idris-hackers

    Related apps

    idris-free

    Free Monads and useful constructions to work with them

    Idris26bsd-2-clause

    6 years ago

    idris-llvm

    Idris LLVM codegen factored out

    Haskell78other

    7 years ago