git.iko.soy/Idris-dev
on 1add7b7 help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Fix data ctor arity comparison. Idris/provide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason … Pkg/windows executables should end with .exe Util/utility to listen on any port, returning the port number and the socket .ghci