GitHub - edwinb/ResIO: Dependently typed resource DSL

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
IPDSL.idr		IPDSL.idr
Makefile		Makefile
ResIO.idr		ResIO.idr
ResIO1.idr		ResIO1.idr
Test		Test
bittwiddle.c		bittwiddle.c
bittwiddle.h		bittwiddle.h
bittwiddle.idr		bittwiddle.idr
bounded.idr		bounded.idr
file-example.idr		file-example.idr
imp.idr		imp.idr
linlang.idr		linlang.idr
rawnet.c		rawnet.c
rawnet.h		rawnet.h
rawnet.idr		rawnet.idr
resfile.idr		resfile.idr
resfilenew.idr		resfilenew.idr
resimp.idr		resimp.idr
resimpnew.idr		resimpnew.idr
safe-file.idr		safe-file.idr
so_what.idr		so_what.idr
tcpclient.idr		tcpclient.idr
tcpserver.idr		tcpserver.idr
udpclient.idr		udpclient.idr
udpserver.idr		udpserver.idr