compare.idr
- comparison of nats
env.idr
- environments
memdsl.idr
- memory DSEL main program.
filedsl.idr
- file DSEL main program.