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