Oh my. It worked!pic.twitter.com/KgDswQS4OF
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
I haven't shown the bit where it ran out of memory half way through and i had to quit and restart. But... Idris 2 self hosts! Even if it is held together with cardboard and string for the moment.
I feel there is a "yo dawg" joke in there somewhere...
When it compiles itself, perhaps!
I’m amused by the name (computer?) yaffle :)
Well it thinks it knows everything...
How long did it take before you stopped being amused that compiling super-typed Idris to dubiously-typed Scheme is actually a sensible implementation strategy? I'm not there yet myself.
It is rather surprising. Though will only continue to be true if I can work out how where all the memory is going...
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.