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