git.iko.soy/Idris-dev
on 3c58bbf 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.hsUse the pprint library to insert line breaks System.hsMove externally useful Util.System functions to IRTS.System Zlib.hsMore descriptive error message on failure to unzip .ibc