We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
case003
idris2/casetree
1 parent a1c1791 commit 54c3c10Copy full SHA for 54c3c10
tests/idris2/basic/case003/Main.idr renamed to tests/idris2/casetree/casetree005/Main.idr
tests/idris2/basic/case003/expected renamed to tests/idris2/casetree/casetree005/expected
tests/idris2/basic/case003/run renamed to tests/idris2/casetree/casetree005/run
0 commit comments