Interactive Idris editing with vim:http://edwinb.wordpress.com/2013/10/28/interactive-idris-editing-with-vim/ …
@ozgurakgun Thanks. I've fixed loads of others too :). I should probably proof read before publishing rather than after...
-
-
@edwinbrady publishing with typos is strictly better than not publishing it IMHO :) -
@ozgurakgun Ha, yes. Also, it's easy to fix web pages quickly...
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.