on cfb0cd7 help sign in
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