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