Finally got around to implementing an inliner for Idris. In its basic form, my current project both compiles and runs twice as fast…
-
-
Sometimes it takes a couple of years for something to be able to take a couple of days
-
So much truth in this :)
End of conversation
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.