git.iko.soy/Idris-dev
on 308efea help sign in
Idris-dev/test/test017
5 files
../ expectedCorrect totality check of f=f, and add regression test runCorrect totality check of f=f, and add regression test 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