Another milestone... Idris 2 in Idris 2 built its own Prelude. And even taking into account the Chez startup time, it did it quite a bit faster... getting there!pic.twitter.com/zM6EOXgYRW
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
>held together with cardboard and string Or as they call it: "industry standard"
I'm only talking about the build process though! It's not exactly automated...
Well defined tuples of cardboard and string i assume :-)
Of course!
Awesome! There's a very good feeling when your compiler compiles itself the first time.
I feel like the comment about ‘yo dawg’ should be a serious contender for a new welcome message.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.