Eek, I accidentally submitted a paper without grepping for the naughty words: “simple”, “obvious”, “just” and “straightforward”.
-
-
Fixing all remaining type checker performance problems is left as an exercise for the reader
-
If only. When I get my copious free time back I will be happy to be the reader that does so!
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.