on 78c76fe help sign in
5 lines 126 B history raw
1reg023.idr:7:5:When elaborating right hand side of bad:
2Can't unify
3 Nat
4with
5 f Nat