<?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</title>
	<atom:link href="http://adradh.org.uk/b/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>hmf</title>
		<link>http://adradh.org.uk/b/post/hmf/</link>
		<comments>http://adradh.org.uk/b/post/hmf/#comments</comments>
		<pubDate>Sat, 16 May 2009 19:41:15 +0000</pubDate>
		<dc:creator>Anders</dc:creator>
				<category><![CDATA[That language]]></category>

		<guid isPermaLink="false">http://adradh.org.uk/b/?p=185</guid>
		<description><![CDATA[Re: that language I was talking about previously: doing the parser first and the semantics after is just a little bit backwards. So I&#8217;ve stopped that. I&#8217;m thinking about its workings now. Nothing to post in that direction though. Stop rushing me. Addendum!: It&#8217;s now been (mostly) abandoned since it came to light that it [...]]]></description>
		<wfw:commentRss>http://adradh.org.uk/b/post/hmf/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>Lambdavaluator resurrected</title>
		<link>http://adradh.org.uk/b/post/lambdavaluator-resurrected/</link>
		<comments>http://adradh.org.uk/b/post/lambdavaluator-resurrected/#comments</comments>
		<pubDate>Sat, 02 May 2009 21:40:51 +0000</pubDate>
		<dc:creator>Anders</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://adradh.org.uk/b/?p=179</guid>
		<description><![CDATA[It&#8217;s not an assignment so I&#8217;m putting it back on the internet, because everyone was obviously missing it so much. http://adradh.org.uk/code/lambda/lambda-0.0c.tar.gz]]></description>
		<wfw:commentRss>http://adradh.org.uk/b/post/lambdavaluator-resurrected/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>Varlists, again</title>
		<link>http://adradh.org.uk/b/post/varlists-again/</link>
		<comments>http://adradh.org.uk/b/post/varlists-again/#comments</comments>
		<pubDate>Sat, 21 Mar 2009 23:22:05 +0000</pubDate>
		<dc:creator>Anders</dc:creator>
				<category><![CDATA[That language]]></category>

		<guid isPermaLink="false">http://adradh.org.uk/b/?p=151</guid>
		<description><![CDATA[It seems a bit ad-hoc, but for variable arglists I might just have them consume all the arglists that are the right shape. And if there&#8217;s a vararg inside it, then that will be all of them, of course. Also, this is different from single varargs, but a varlist has to have at least one [...]]]></description>
		<wfw:commentRss>http://adradh.org.uk/b/post/varlists-again/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>Declarations vs. assignments</title>
		<link>http://adradh.org.uk/b/post/declarations-vs-assignments/</link>
		<comments>http://adradh.org.uk/b/post/declarations-vs-assignments/#comments</comments>
		<pubDate>Tue, 10 Mar 2009 20:36:35 +0000</pubDate>
		<dc:creator>Anders</dc:creator>
				<category><![CDATA[That language]]></category>

		<guid isPermaLink="false">http://adradh.org.uk/b/?p=139</guid>
		<description><![CDATA[Oh dear, another keyword. I&#8217;m not doing very well at this &#8220;as little syntax as possible&#8221; thing. But I don&#8217;t really know what else to do about this: I don&#8217;t think SSA would be a very good fit. My new nemesis: var. Other candidates like def or val haven&#8217;t been ruled out yet, though, except [...]]]></description>
		<wfw:commentRss>http://adradh.org.uk/b/post/declarations-vs-assignments/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Reserved words so far</title>
		<link>http://adradh.org.uk/b/post/reserved-words-so-far/</link>
		<comments>http://adradh.org.uk/b/post/reserved-words-so-far/#comments</comments>
		<pubDate>Tue, 10 Mar 2009 16:06:35 +0000</pubDate>
		<dc:creator>Anders</dc:creator>
				<category><![CDATA[That language]]></category>

		<guid isPermaLink="false">http://adradh.org.uk/b/?p=130</guid>
		<description><![CDATA[The shorter this post is, the happier I&#8217;ll be. It&#8217;s meant to be more of a reference as I inevitably have to add new things. Assuming I remember to update it of course. Words fun Function literal. Has special syntax for varargs and such. The last set of parens/braces is the body. Argument to a [...]]]></description>
		<wfw:commentRss>http://adradh.org.uk/b/post/reserved-words-so-far/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>

