Skip to content
Dependently typed resource DSL
C
Find file
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
IPDSL.idr Added packet format DSL
Makefile
ResIO.idr Comment
ResIO1.idr Initialised repo
Test Initialised repo
bittwiddle.c Added some network libraries and bit twiddling
bittwiddle.h Added some network libraries and bit twiddling
bittwiddle.idr Added some network libraries and bit twiddling
bounded.idr Added some network libraries and bit twiddling
file-example.idr Initialised repo
imp.idr Change from Fin to typing predicate
linlang.idr Added While and interpreter to imp
rawnet.c Added a thin layer over the C socket API in rawnet.idr
rawnet.h Added a thin layer over the C socket API in rawnet.idr
rawnet.idr
resfile.idr Removed the rather ugly ResFn/Call and replaced it with syntax macros
resfilenew.idr New notation
resimp.idr Removed the rather ugly ResFn/Call and replaced it with syntax macros
resimpnew.idr New notation
safe-file.idr Minor tweaks, some comments
so_what.idr Added some network libraries and bit twiddling
tcpclient.idr Added a thin layer over the C socket API in rawnet.idr
tcpserver.idr Added a thin layer over the C socket API in rawnet.idr
udpclient.idr Added a thin layer over the C socket API in rawnet.idr
udpserver.idr
Something went wrong with that request. Please try again.