git.iko.soy/Idris-dev
on df5bf81 help sign in
Idris-dev/test/test017
6 files
../ expectedCorrect totality check of f=f, and add regression test runCorrect totality check of f=f, and add regression test run_javaBackend support for Java test017.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion test017a.idrDeal with higher order recursive arguments in size change graphs test017b.idrCorrect totality check of f=f, and add regression test