git.iko.soy/Idris-dev
on b3ee2df help sign in
history ofsrc/Util/Net.hs
all commits
3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan be27074Allow specifying "--port none" to not start the interpreter serverEcho Nolan 314d651Add some type signaturesEcho Nolan ab1296fFix Deprecation warnings from Network API.Jan de Muijnck-Hughes 0896073Added documentation for modules.Jan de Muijnck-Hughes 7a3b2e7utility to listen on any port, returning the port number and the socketHannes Mehnert 0548109Only bind to the localhost interface from REPL network socket.Leif Warner