git.iko.soy/Idris-dev
on e0861bb help sign in
Idris-dev/test/reg055
4 files
../ expectedBetter typecase check reg055.idrNew way of dealing with unmatchable patterns reg055a.idrBetter typecase check runHide other unmatchable patterns