idris-llvm

Idris LLVM codegen factored out

Search similar apps

    License

    Other

    Idris LLVM codegen factored out

    Creator

    idris-hackers

    Related apps

    idris-free

    Free Monads and useful constructions to work with them

    Idris26bsd-2-clause

    6 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