Preview of something that will not make it into my PLDI submission: "Our solution is simple: closures be damned, keep inlining things!"
Replying to @wilbowma
This has been more or less my solution to making my current Idris project faster. I'm not proud of this.
12:07 PM - 10 Nov 2017
0 replies
0 retweets
2 likes
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.