I started the day with about 20 compiler errors, now I have 3, It might compile successfully by 5pm. might.
Conversation
Then 1 error, then 15 errors. And flow.js cannot infer stuff that's blindingly obvious. It's worse than untyped.
2
1
1
Replying to
just need to add `sorry` some more times to my Lean proof... no biggie. *shipit*