git.iko.soy/Idris-dev
on 33d07ac help sign in
Idris-dev/src/Util
6 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.hsReplace the string-slinging show with pretty-print System.hsMove externally useful Util.System functions to IRTS.System Zlib.hsMore descriptive error message on failure to unzip .ibc