git.iko.soy/Idris-dev
on e7d5ef1 help sign in
Idris-dev/test/totality009
4 files
../ TestLambdaImpossible.idrAdd test for impossible in lambda and case TestLambdaPossible.idrAdd test for impossible in lambda and case expectedAdd test for impossible in lambda and case runAdd test for impossible in lambda and case