Idris-dev/test/effects002
Edwin Brady 4ba546070a Make 'neweffects' the official effects package
Old effects is still there if anyone needs it, as 'oldeffects' but this
will be removed later.
2014-03-12 16:37:23 +00:00
..
expected Categorise tests 2014-01-30 17:24:08 +00:00
run Categorise tests 2014-01-30 17:24:08 +00:00
test025.idr Make 'neweffects' the official effects package 2014-03-12 16:37:23 +00:00