git.iko.soy/Idris-dev
on ace080c help sign in
Idris-dev/test/test016
3 files
../ expectedAdded simple productivity checker for coinductive definitions Recursive calls must be an argument to a coinductive constructor runAdd argument passing to new tests test016.idrTotality 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