FFI Bindings to interact with the unsafe world of JavaScript

Idris88bsd-2-clause

6 years ago

Free Monads and useful constructions to work with them

Idris25bsd-2-clause

6 years ago

Idris LLVM codegen factored out

Haskell77other

7 years ago

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

Idris173bsd-3-clause

6 years ago