on 54e4e41 help sign in
5 lines 133 B history raw
1reg023.idr:7:5:When checking right hand side of bad:
2Type mismatch between
3 Nat (Type of 0)
4and
5 f Nat (Expected type)