git.iko.soy/Idris-dev
on 583c726 help sign in
Idris-dev/test/test017
4 files
../ expectedTotality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible runAdd argument passing to new tests 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