Idris2-boot/tests/idris2
2019-06-24 17:36:55 +01:00
..
basic001 Add a couple of interactive tests 2019-06-24 15:16:49 +01:00
coverage001 Add a couple of interactive tests 2019-06-24 15:16:49 +01:00
coverage002 Add a couple of interactive tests 2019-06-24 15:16:49 +01:00
import001 Add a couple of interactive tests 2019-06-24 15:16:49 +01:00
import002 Add a couple of interactive tests 2019-06-24 15:16:49 +01:00
interactive001 Add a couple of interactive tests 2019-06-24 15:16:49 +01:00
interactive002 Add a couple of interactive tests 2019-06-24 15:16:49 +01:00
interactive003 Fix small error is as patterns 2019-06-24 15:30:36 +01:00
interactive004 Finish adding interactive tests from Blodwen 2019-06-24 16:23:32 +01:00
interactive005 Finish adding interactive tests from Blodwen 2019-06-24 16:23:32 +01:00
interactive006 Finish adding interactive tests from Blodwen 2019-06-24 16:23:32 +01:00
interactive007 Finish adding interactive tests from Blodwen 2019-06-24 16:23:32 +01:00
interactive008 Finish adding interactive tests from Blodwen 2019-06-24 16:23:32 +01:00
interactive009 Finish adding interactive tests from Blodwen 2019-06-24 16:23:32 +01:00
interactive010 Finish adding interactive tests from Blodwen 2019-06-24 16:23:32 +01:00
interactive011 Finish adding interactive tests from Blodwen 2019-06-24 16:23:32 +01:00
interactive012 Finish adding interactive tests from Blodwen 2019-06-24 16:23:32 +01:00
interface001 Add first interface tests 2019-06-24 17:36:55 +01:00
interface002 Add first interface tests 2019-06-24 17:36:55 +01:00
record001 Add a couple of interactive tests 2019-06-24 15:16:49 +01:00
record002 Add a couple of interactive tests 2019-06-24 15:16:49 +01:00