<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>adraðblog &#187; Vim</title>
	<atom:link href="http://adradh.org.uk/b/cat/vim/feed/" rel="self" type="application/rss+xml" />
	<link>http://adradh.org.uk/b</link>
	<description>:: {- insert a pretend Haskell type here -}</description>
	<lastBuildDate>Thu, 03 Dec 2009 23:47:53 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.0.2</generator>
		<item>
		<title>idris.vim again</title>
		<link>http://adradh.org.uk/b/post/idris-vim-again/</link>
		<comments>http://adradh.org.uk/b/post/idris-vim-again/#comments</comments>
		<pubDate>Wed, 02 Dec 2009 20:59:49 +0000</pubDate>
		<dc:creator>Anders</dc:creator>
				<category><![CDATA[Idris]]></category>
		<category><![CDATA[Vim]]></category>

		<guid isPermaLink="false">http://adradh.org.uk/b/?p=194</guid>
		<description><![CDATA[Against all likelihood I remembered to post this! The sigma type syntax has changed from (x &#124; P x) to (x ** P x), so that&#8217;s reflected. Other than that, though, the colours of proof tactics and builtin syntax have been changed. I think that&#8217;s all. Pow! I also stuck it on patch-tag, but since [...]]]></description>
		<wfw:commentRss>http://adradh.org.uk/b/post/idris-vim-again/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Vim script is all I ever do</title>
		<link>http://adradh.org.uk/b/post/vim-script-is-all-i-ever-do/</link>
		<comments>http://adradh.org.uk/b/post/vim-script-is-all-i-ever-do/#comments</comments>
		<pubDate>Fri, 20 Nov 2009 21:44:36 +0000</pubDate>
		<dc:creator>Anders</dc:creator>
				<category><![CDATA[Idris]]></category>
		<category><![CDATA[Vim]]></category>

		<guid isPermaLink="false">http://adradh.org.uk/b/?p=188</guid>
		<description><![CDATA[Anyone use Idris? You should, it&#8217;s good. Anyway, I made a Vim syntax for it. Beware the indent is rubbish, due to the old chestnut that context free languages are a bit tricky to recognise using regular expressions. Colouring things in is easier because most of it is just looking for certain tokens (which, of [...]]]></description>
		<wfw:commentRss>http://adradh.org.uk/b/post/vim-script-is-all-i-ever-do/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>More syntax highlighting</title>
		<link>http://adradh.org.uk/b/post/more-syntax-highlighting/</link>
		<comments>http://adradh.org.uk/b/post/more-syntax-highlighting/#comments</comments>
		<pubDate>Thu, 14 May 2009 09:16:10 +0000</pubDate>
		<dc:creator>Anders</dc:creator>
				<category><![CDATA[Haskell]]></category>
		<category><![CDATA[Vim]]></category>

		<guid isPermaLink="false">http://adradh.org.uk/b/?p=182</guid>
		<description><![CDATA[I can&#8217;t live without pretty colours in my editor so I threw together some Happy and Alex highlights. No indenting or anything like that because effort. (If you set autoindent, though, the indents leaking out from haskell.vim sometimes help a little, when they don&#8217;t do completely the wrong thing.) happy.vim alex.vim They&#8217;re both public domain, [...]]]></description>
		<wfw:commentRss>http://adradh.org.uk/b/post/more-syntax-highlighting/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Cabal.vim 0.1</title>
		<link>http://adradh.org.uk/b/post/cabal-vim-01/</link>
		<comments>http://adradh.org.uk/b/post/cabal-vim-01/#comments</comments>
		<pubDate>Mon, 23 Mar 2009 17:18:39 +0000</pubDate>
		<dc:creator>Anders</dc:creator>
				<category><![CDATA[Haskell]]></category>
		<category><![CDATA[Vim]]></category>

		<guid isPermaLink="false">http://adradh.org.uk/b/?p=154</guid>
		<description><![CDATA[Since the last post, quite a lot of things have been added. Of course, most of them are so minor (fixing typos? Oh my!) that I didn&#8217;t bother posting about them. But there have been enough now that I might as well bullet point them up, for people who don&#8217;t feel like doing darcs changes. [...]]]></description>
		<wfw:commentRss>http://adradh.org.uk/b/post/cabal-vim-01/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>cabal-vim</title>
		<link>http://adradh.org.uk/b/post/cabal-vim/</link>
		<comments>http://adradh.org.uk/b/post/cabal-vim/#comments</comments>
		<pubDate>Fri, 13 Mar 2009 18:52:20 +0000</pubDate>
		<dc:creator>Anders</dc:creator>
				<category><![CDATA[Haskell]]></category>
		<category><![CDATA[Vim]]></category>

		<guid isPermaLink="false">http://adradh.org.uk/b/?p=146</guid>
		<description><![CDATA[I apparently cannot get enough of Vimscript, so after someone on the Haskell-café list asked about it, I wrote a syntax mode for Cabal files. Hooray. (Hopefully no-one&#8217;s already written one&#8230;) Not much to it at the moment, though there is an attempt at automatic indenting, since that was the bit I was missing the [...]]]></description>
		<wfw:commentRss>http://adradh.org.uk/b/post/cabal-vim/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Slight updates to haskell.vim</title>
		<link>http://adradh.org.uk/b/post/slight-updates-to-haskellvim/</link>
		<comments>http://adradh.org.uk/b/post/slight-updates-to-haskellvim/#comments</comments>
		<pubDate>Sun, 08 Mar 2009 20:32:05 +0000</pubDate>
		<dc:creator>Anders</dc:creator>
				<category><![CDATA[Haskell]]></category>
		<category><![CDATA[Vim]]></category>

		<guid isPermaLink="false">http://adradh.org.uk/b/?p=97</guid>
		<description><![CDATA[Since the Vim syntax file for Haskell was last updated, there have been a bunch of syntax extensions in GHC1, like rank-n types, arrow syntax, and allsorts. I decided to add a few of these. You can get it here. You might want to back up your old one; I&#8217;m pretty sure I haven&#8217;t broken [...]]]></description>
		<wfw:commentRss>http://adradh.org.uk/b/post/slight-updates-to-haskellvim/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>

