on 54e4e41 help sign in
6 lines 111 B history raw
1BadDef.idr:12:9:
2When checking right hand side of runBad1:
3Type mismatch between
4 ()
5and
6 String