git.iko.soy/Idris-dev
on 694bf20 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.idrDeal with higher order recursive arguments in size change graphs test017a.idrDeal with higher order recursive arguments in size change graphs