git.iko.soy/Idris-dev
on fcb66ca 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.idrCoinductive types do not get smaller! Fix size change graph builder.