git.iko.soy/Idris-dev
on 60e4921 help sign in
Idris-dev/src/Util
6 files
../ DynamicLinker.hsFix compilation on Windows Net.hsutility to listen on any port, returning the port number and the socket Pretty.hsUse the pprint library to insert line breaks ScreenSize.hsAutomatically detect console width System.hsRemove Cabal library dependency and add more upper bounds Zlib.hsMore descriptive error message on failure to unzip .ibc