idris-free

idris-free

https://github.com/idris-hackers/idris-free

Idris26

6 years ago

Reviews

Free Monads and useful constructions to work with them

Search similar apps

    License

    BSD 2-Clause "Simplified" License

    Share

    Free Monads and useful constructions to work with them

    Creator

    idris-hackers

    Related apps

    idris-llvm

    Idris LLVM codegen factored out

    Haskell78other

    7 years ago

    idris-koans

    Koans are small lessons on the path to enlightenment. The aim of the Idris Koans

    Idris179bsd-3-clause

    7 years ago