• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for idris-0.9.9.3 candidate source tarball

idris-0.9.9.3/test/

• Makefile
• runtest.pl
• reg001/
  • expected
  • reg001.idr
  • run
• reg002/
  • expected
  • reg002.idr
  • run
• reg003/
  • expected
  • reg003.idr
  • reg003a.idr
  • run
• reg004/
  • expected
  • reg004.idr
  • run
• reg005/
  • expected
  • reg005.idr
  • run
• reg006/
  • expected
  • reg006.idr
  • run
• reg007/
  • A.lidr
  • expected
  • reg007.lidr
  • run
• reg008/
  • expected
  • reg008.idr
  • run
• reg009/
  • expected
  • reg009.lidr
  • run
• reg010/
  • expected
  • reg010.idr
  • run
• reg011/
  • expected
  • reg011.idr
  • run
• reg012/
  • expected
  • reg012.lidr
  • run
• reg013/
  • expected
  • reg013.idr
  • run
• reg014/
  • expected
  • reg014.idr
  • run
• reg015/
  • expected
  • reg015.idr
  • run
• reg016/
  • expected
  • reg016.idr
  • run
• reg017/
  • expected
  • reg017.idr
  • run
• reg018/
  • expected
  • reg018a.idr
  • reg018b.idr
  • reg018c.idr
  • reg018d.idr
  • run
• reg019/
  • expected
  • reg019.idr
  • run
• reg020/
  • expected
  • reg020.idr
  • run
• reg021/
  • expected
  • reg021.idr
  • run
• reg022/
  • expected
  • reg022.idr
  • run
• reg023/
  • expected
  • reg023.idr
  • run
• reg024/
  • expected
  • reg024.idr
  • run
• test001/
  • expected
  • run
  • test001.idr
• test002/
  • expected
  • run
  • test002.idr
• test003/
  • Lit.lidr
  • expected
  • run
  • test003.lidr
  • test003a.lidr
• test004/
  • expected
  • run
  • test004.idr
• test005/
  • expected
  • run
  • test005.idr
• test006/
  • expected
  • run
  • test006.idr
• test007/
  • expected
  • run
  • test007.idr
• test008/
  • expected
  • run
  • test008.idr
• test009/
  • expected
  • run
  • test009.idr
• test010/
  • expected
  • run
  • test010.idr
  • test010a.idr
  • test010b.idr
• test011/
  • expected
  • run
  • test011.idr
• test012/
  • expected
  • run
  • test012a.idr
• test013/
  • expected
  • run
  • test013.idr
• test014/
  • Resimp.idr
  • expected
  • run
  • test
  • test014.idr
• test015/
  • Parity.idr
  • expected
  • run
  • test015.idr
• test016/
  • expected
  • run
  • test016.idr
• test017/
  • expected
  • run
  • test017.idr
  • test017a.idr
  • test017b.idr
• test018/
  • expected
  • run
  • test018.idr
  • test018a.idr
• test019/
  • expected
  • run
  • test019.lidr
• test020/
  • expected
  • run
  • test020.idr
  • test020a.idr
• test021/
  • expected
  • run
  • test021.idr
  • test021a.idr
  • testFile
• test022/
  • expected
  • run
  • test022.idr
• test023/
  • expected
  • run
  • test.idr
  • test023.idr
• test024/
  • expected
  • input
  • run
  • test024.idr
• test025/
  • expected
  • run
  • test025.idr
• test026/
  • expected
  • input
  • run
  • test026.idr
  • theOtherType
  • theType
• test027/
  • expected
  • run
  • test027.idr
• test028/
  • expected
  • run
  • test028.idr
• test029/
  • expected
  • run
  • test029.idr
• test030/
  • Reflect.idr
  • expected
  • run
  • test030.idr
  • test030a.idr
• test031/
  • expected
  • run
  • test031.idr