<?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>Epilogue &#187; Hacking</title>
	<atom:link href="http://www.e-pig.org/epilogue/?feed=rss2&#038;cat=2" rel="self" type="application/rss+xml" />
	<link>http://www.e-pig.org/epilogue</link>
	<description>for Epigram</description>
	<lastBuildDate>Tue, 03 Jan 2012 13:02:31 +0000</lastBuildDate>
	<generator>http://wordpress.org/?v=2.8.4</generator>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
			<item>
		<title>Epic</title>
		<link>http://www.e-pig.org/epilogue/?p=269</link>
		<comments>http://www.e-pig.org/epilogue/?p=269#comments</comments>
		<pubDate>Fri, 18 Dec 2009 14:10:48 +0000</pubDate>
		<dc:creator>Edwin Brady</dc:creator>
				<category><![CDATA[Hacking]]></category>

		<guid isPermaLink="false">http://www.e-pig.org/epilogue/?p=269</guid>
		<description><![CDATA[I&#8217;ve just uploaded a new version of Epic to hackage, so installing it should now be a matter of typing: 
cabal install epic.
 You will also need the Boehm garbage collector, available from here. If you&#8217;re on a Mac, installing it should require nothing more than:
port install boehmgc
Also, if you&#8217;re on a Mac, you will [...]]]></description>
		<wfw:commentRss>http://www.e-pig.org/epilogue/?feed=rss2&amp;p=269</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Autumn Leaves</title>
		<link>http://www.e-pig.org/epilogue/?p=263</link>
		<comments>http://www.e-pig.org/epilogue/?p=263#comments</comments>
		<pubDate>Sun, 06 Dec 2009 14:36:34 +0000</pubDate>
		<dc:creator>Conor</dc:creator>
				<category><![CDATA[General]]></category>
		<category><![CDATA[Hacking]]></category>

		<guid isPermaLink="false">http://www.e-pig.org/epilogue/?p=263</guid>
		<description><![CDATA[I thought I&#8217;d scribble something about what we&#8217;re up to. The team (Pierre-&#201;variste Dagand, Adam Gundry, Peter Morris, James Chapman) have been hard at work. I have been otherwise engaged. As a result, there has been considerable progress. Don&#8217;t worry. I expect I&#8217;ll mess things up properly over Christmas.
We&#8217;ve decided that the best way to [...]]]></description>
		<wfw:commentRss>http://www.e-pig.org/epilogue/?feed=rss2&amp;p=263</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>PigWeek: Tuesday</title>
		<link>http://www.e-pig.org/epilogue/?p=236</link>
		<comments>http://www.e-pig.org/epilogue/?p=236#comments</comments>
		<pubDate>Tue, 21 Jul 2009 20:28:29 +0000</pubDate>
		<dc:creator>pwm</dc:creator>
				<category><![CDATA[Hacking]]></category>

		<guid isPermaLink="false">http://www.e-pig.org/epilogue/?p=236</guid>
		<description><![CDATA[Location: Strathclyde Uni. Crew: C. McBride, P. Morris, J. Chapman and we welcomed the arrival of one E. Brady
Lunch: Peckham&#8217;s
Cake: Peckham&#8217;s
Dinner: we chopped, Mel cooked
Achievements: JC made a universe for propositions and PM one for finite enumerations; along the way they put together a setup for built-in operators. EB started to make his compiler do [...]]]></description>
		<wfw:commentRss>http://www.e-pig.org/epilogue/?feed=rss2&amp;p=236</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>PigWeek: Monday</title>
		<link>http://www.e-pig.org/epilogue/?p=230</link>
		<comments>http://www.e-pig.org/epilogue/?p=230#comments</comments>
		<pubDate>Tue, 21 Jul 2009 07:55:31 +0000</pubDate>
		<dc:creator>Conor</dc:creator>
				<category><![CDATA[General]]></category>
		<category><![CDATA[Hacking]]></category>

		<guid isPermaLink="false">http://www.e-pig.org/epilogue/?p=230</guid>
		<description><![CDATA[Location: Conor&#8217;s flat. Crew: Conor McBride, James Chapman, Peter Morris. Lunch: Cafézique. Cake from: Delizique. Dinner: Banana Leaf, Home Wok, Oriental West, the chippy.
Freddie Flintoff helped us to a cracking start by skittling the Aussie tail end. James implemented the setup for untyped quotation (&#946;-normal forms), typed quotation (&#951;-long &#946;-normal forms), definitional equality, and bidirectional [...]]]></description>
		<wfw:commentRss>http://www.e-pig.org/epilogue/?feed=rss2&amp;p=230</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>The Strathclyde Haskell Enhancement</title>
		<link>http://www.e-pig.org/epilogue/?p=212</link>
		<comments>http://www.e-pig.org/epilogue/?p=212#comments</comments>
		<pubDate>Sun, 05 Jul 2009 11:21:26 +0000</pubDate>
		<dc:creator>Conor</dc:creator>
				<category><![CDATA[Hacking]]></category>

		<guid isPermaLink="false">http://www.e-pig.org/epilogue/?p=212</guid>
		<description><![CDATA[She&#8217;s on hackage, ready to
cabal install she
and you should find that the repo has some web waffle attached to it.
I seem to have released some software. I&#8217;m as surprised as you are. No good can possibly come of it.
]]></description>
		<wfw:commentRss>http://www.e-pig.org/epilogue/?feed=rss2&amp;p=212</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Warming Up For Summer</title>
		<link>http://www.e-pig.org/epilogue/?p=154</link>
		<comments>http://www.e-pig.org/epilogue/?p=154#comments</comments>
		<pubDate>Tue, 23 Jun 2009 13:16:43 +0000</pubDate>
		<dc:creator>Conor</dc:creator>
				<category><![CDATA[General]]></category>
		<category><![CDATA[Hacking]]></category>

		<guid isPermaLink="false">http://www.e-pig.org/epilogue/?p=154</guid>
		<description><![CDATA[Implementing the lambda calculus is, along with buying shoes and then not wearing them, one of my worse habits. Here&#8217;s today&#8217;s cookery, in literate Haskell. I&#8217;m using a certain amount of jiggery pokery.


> {-# LANGUAGE GADTs, KindSignatures, EmptyDataDecls,
>     FlexibleInstances, FlexibleContexts
> #-}

I haven&#8217;t implemented weak normalization for a while, but Pierre Boutillier [...]]]></description>
		<wfw:commentRss>http://www.e-pig.org/epilogue/?feed=rss2&amp;p=154</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Backstage</title>
		<link>http://www.e-pig.org/epilogue/?p=94</link>
		<comments>http://www.e-pig.org/epilogue/?p=94#comments</comments>
		<pubDate>Sun, 11 Dec 2005 13:43:02 +0000</pubDate>
		<dc:creator>pwm</dc:creator>
				<category><![CDATA[General]]></category>
		<category><![CDATA[Hacking]]></category>

		<guid isPermaLink="false">http://www.e-pig.org/epilogue/?p=94</guid>
		<description><![CDATA[Although it might seem all quiet on the Epigram front, in actual fact there is somewhat of a blitz going on at HQ and I thought I&#8217;d let you in on some of what has been going on.
As you can see in the last post Conor changed his mind slightly on what Terms where going [...]]]></description>
		<wfw:commentRss>http://www.e-pig.org/epilogue/?feed=rss2&amp;p=94</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Chan-tastic</title>
		<link>http://www.e-pig.org/epilogue/?p=76</link>
		<comments>http://www.e-pig.org/epilogue/?p=76#comments</comments>
		<pubDate>Thu, 28 Jul 2005 19:44:33 +0000</pubDate>
		<dc:creator>Conor</dc:creator>
				<category><![CDATA[Hacking]]></category>

		<guid isPermaLink="false">http://www.e-pig.org/epilogue/?p=76</guid>
		<description><![CDATA[In between coats of paint, I&#8217;ve managed to get a bit of concurrent editor-elaborator communication going, without possessing either an editor or an elaborator. The fake elaborator I wrote just likes everything and invents nothing, which should serve to let folk fiddle with editing technology. I&#8217;m just a-thinking that we should actually figure out how [...]]]></description>
		<wfw:commentRss>http://www.e-pig.org/epilogue/?feed=rss2&amp;p=76</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Scoping</title>
		<link>http://www.e-pig.org/epilogue/?p=65</link>
		<comments>http://www.e-pig.org/epilogue/?p=65#comments</comments>
		<pubDate>Mon, 27 Jun 2005 15:25:08 +0000</pubDate>
		<dc:creator>Conor</dc:creator>
				<category><![CDATA[General]]></category>
		<category><![CDATA[Hacking]]></category>

		<guid isPermaLink="false">http://www.e-pig.org/epilogue/?p=65</guid>
		<description><![CDATA[Scoping traverses concrete syntax, threading some effects:

 reading the scope, being (concretely) an alist of strings to namerefs; what is its abstract interface?
 generating new namerefs, due either to an explicit binding (in a pattern or a shadow), or to an implicit binding (a previously unseen name in an lhs or a sig)
 accumulating the [...]]]></description>
		<wfw:commentRss>http://www.e-pig.org/epilogue/?feed=rss2&amp;p=65</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Phases of source analysis</title>
		<link>http://www.e-pig.org/epilogue/?p=49</link>
		<comments>http://www.e-pig.org/epilogue/?p=49#comments</comments>
		<pubDate>Tue, 07 Jun 2005 11:26:18 +0000</pubDate>
		<dc:creator>Conor</dc:creator>
				<category><![CDATA[Hacking]]></category>

		<guid isPermaLink="false">http://www.e-pig.org/epilogue/?p=49</guid>
		<description><![CDATA[Figuring out the phases of source analysis to be done outside the elaborator will help figure out the details in the concrete syntax, so here goes.

 the &#8216;lexer&#8217; takes String to lists of tokens (actually with location info, thanks Peter); 
 the &#8216;grouper&#8217; takes token lists to Doc, the type of documents with their brackets [...]]]></description>
		<wfw:commentRss>http://www.e-pig.org/epilogue/?feed=rss2&amp;p=49</wfw:commentRss>
		<slash:comments>5</slash:comments>
		</item>
	</channel>
</rss>
