git.iko.soy/Idris-dev
on bbbe563 help sign in
Idris-dev/test/test014
5 files
../ Resimp.idrAllow forward declaration of data structures To support induction-recursion and mutual data definitions Syntax is as a normal data declaration, but without the 'where' or '=' sections expectedFix resource language, add extra test for it runAdd argument passing to new tests testAdded test file for test014 test014.idruppercase modulenames