on master help sign in
Idris-dev/test/meta004/expected.out
7 lines 151 B history raw
1meta004.idr:50:1-8:
2 |
350 | %runElab domore
4 | ~~~~~~~~
5While running an elaboration script, the following error occurred:
6Not an impossible case