on bf4e535 help sign in
5 lines 127 B history raw
1reg023.idr:7:5:When elaborating right hand side of bad:
2Can't unify
3 Nat (Type of 0)
4with
5 f Nat (Expected type)