on aeb032a help sign in
6 lines 138 B history raw
1BadDef.idr:14:1-9:
2While running an elaboration script, the following error occurred:
3Type mismatch between
4 ()
5and
6 String