Hooray, I have a way of making web server apps in Idris, thanks to some evil C mangling. Tomorrow, The World! Or at least "Hello World".
9:10 AM - 14 Feb 2011
0 replies
3 retweets
0 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.