git.iko.soy/Idris-dev
on ecfb293 help sign in
Idris-dev/src/Util
7 files
../ DynamicLinker.hsFix compilation 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 ScreenSize.hsAutomatically detect console width System.hsMove externally useful Util.System functions to IRTS.System Zlib.hsMore descriptive error message on failure to unzip .ibc