on cd23076 help sign in
4 lines 157 B history raw
1reg049.idr:2:9:When elaborating constructor Main.Bogus:
2Void is not Main.Foo
3reg049.idr:5:6:When elaborating right hand side of uhOh:
4No such variable Bogus