git.iko.soy/Idris-dev
on f869396 help sign in
Idris-dev/src/Util
5 files
../ DynamicLinker.hsPrevent duplicate dynamic linking LLVMStubs.hsFix building without LLVM Net.hsOnly bind to the localhost interface from REPL network socket. Pretty.hsSome playing around with widths to make everything look nicer. System.hsJava RTS Version bump to include isNull, Maven POM gets installed correctly