Idris-dev/test
2011-12-14 22:13:35 +00:00
..
test001 Generate bytecode so that files don't need to be rechecked every time they're loaded 2011-12-08 23:40:02 +00:00
test002 Don't write .ibc on error; add new test 2011-12-09 07:54:30 +00:00
test003 Add some string primitives (may need latest Epic) 2011-12-14 22:13:35 +00:00
Makefile Added test directory and a single test... 2011-11-17 22:13:33 +01:00
mktest.pl Generate bytecode so that files don't need to be rechecked every time they're loaded 2011-12-08 23:40:02 +00:00
runtest.pl Added test directory and a single test... 2011-11-17 22:13:33 +01:00