git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/totality012
5 files
../ expected.outRename expected, input and run run.shRename expected, input and run totality012.idrLook under if...then...else in totality checker totality012a.idrLook under if...then...else in totality checker totality012b.idrTotality checking now looks inside case directly