git.iko.soy/Idris-dev
on fa5a047 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.hsFix :exec on Windows Zlib.hsMore descriptive error message on failure to unzip .ibc