git.iko.soy/Idris-dev
on 7d42ba2 help sign in
Idris-dev/libs/base/Network
2 files
../ Cgi.idrChanged libs to new record syntax. Socket.idrChanged libs to new record syntax.