| 12345678910111213 |
- AGDA_FAILURE
- ret > ExitFailure 42
- out > Failed to solve the following constraints:
- out > Tsn (suc zero) =< _T_27 zero (blocked on _T_27)
- out > _T_27 m =< Tsn (suc m) (blocked on _T_27)
- out > Unsolved metas at the following locations:
- out > Issue325b.agda:24,12-13
- out > Issue325b.agda:24,15-25
- out > Issue325b.agda:22,11-12
- out > Issue325b.agda:22,3-24,31
- out >
|
