<?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; Idris</title>
	<atom:link href="http://adradh.org.uk/b/cat/idris/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>
	</channel>
</rss>

