git.iko.soy/Idris-dev
on 674459b 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