Finally got around to implementing an inliner for Idris. In its basic form, my current project both compiles and runs twice as fast…
-
Show this thread
-
I can’t decide whether to be delighted with this result, or embarrassed I didn’t do it years ago. Probably both.
1 reply 1 retweet 39 likesShow this thread -
-
Replying to @mrb_bk
The embarrassment is mostly because it only took a couple of days and it was an obvious thing that needed doing. Nice result though :).
1 reply 0 retweets 9 likes -
Replying to @edwinbrady
Sometimes it takes a couple of years for something to be able to take a couple of days
2 replies 22 retweets 59 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.