git.iko.soy/Idris-dev
on ad178cf help sign in
Idris-dev/src/Util
7 files
../ DynamicLinker.hsImprove search for dynamic libraries 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