save #6
Annotations
2 errors
Build Agda:
src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
|
Build Agda
Process completed with exit code 1.
|
Loading