Interactive Idris editing with vim:http://edwinb.wordpress.com/2013/10/28/interactive-idris-editing-with-vim/ …
-
-
Replying to @edwinbrady
@edwinbrady one small typo: "Again, :mw updates the source file" should be :mw!1 reply 0 retweets 0 likes -
Replying to @ozgurakgun
@ozgurakgun Thanks. I've fixed loads of others too :). I should probably proof read before publishing rather than after...1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady publishing with typos is strictly better than not publishing it IMHO :)2 replies 0 retweets 0 likes
Replying to @ozgurakgun
@ozgurakgun Ha, yes. Also, it's easy to fix web pages quickly...
1:00 PM - 28 Oct 2013
0 replies
0 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.