idris-llvm

idris-llvm

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

Haskell77

7 years ago

Reviews

Idris LLVM codegen factored out

Search similar apps

    License

    Other

    Share

    Idris LLVM codegen factored out

    Creator

    idris-hackers

    Related apps

    IdrisScript

    FFI Bindings to interact with the unsafe world of JavaScript

    Idris88bsd-2-clause

    6 years ago

    idris-free

    Free Monads and useful constructions to work with them

    Idris25bsd-2-clause

    6 years ago

    software-foundations

    Software Foundations in Idris

    Idris438mit

    5 years ago

    bookcomputer-scienceidris

    idris-koans

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

    Idris173bsd-3-clause

    6 years ago