git.iko.soy/Idris-dev
on e4d99ee help sign in
Idris-dev/src/Util
5 files
../ DynamicLinker.hscatch exception thrown by tryLoadLib on Windows LLVMStubs.hsAdd a Cabal library Net.hsOnly bind to the localhost interface from REPL network socket. Pretty.hsSome playing around with widths to make everything look nicer. System.hsMove externally useful Util.System functions to IRTS.System