Software Foundations in Idris
created at June 23, 2016, 10:01 a.m.
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.
created at Nov. 18, 2013, 10:47 p.m.
FFI Bindings to interact with the unsafe world of JavaScript
created at Oct. 2, 2014, 11:43 p.m.
Idris LLVM codegen factored out
created at Aug. 20, 2014, 10:45 a.m.
Free Monads and useful constructions to work with them
created at Sept. 11, 2015, 9:32 p.m.