git.iko.soy/Idris-dev
on be0a480 help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Fix data ctor arity comparison. Idris/provide a new option, --ideslave-socket, for an ideslave listening on a socket Pkg/windows executables should end with .exe Util/utility to listen on any port, returning the port number and the socket .ghci