git.iko.soy/Idris-dev
on cd58dfb help sign in
history ofsrc/Util/Net.hs
all commits
0e2f545Silence stylizeNiklas Larsson 332df52Remove use of deprecated network functionalityNiklas Larsson 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