<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel>
        <title>timphilipwilliams.com</title>
        <link>http://www.timphilipwilliams.com</link>
        <description><![CDATA[A functional programming blog.]]></description>
        <atom:link href="http://www.timphilipwilliams.com/rss.xml" rel="self"
                   type="application/rss+xml" />
        <lastBuildDate>Fri, 31 Aug 2012 23:00:00 UT</lastBuildDate>
        <item>
    <title>First post</title>
    <link>http://www.timphilipwilliams.com/posts/2012-08-31-a-new-blog.html</link>
    <description><![CDATA[Tools for making a blog.]]></description>
    <pubDate>2012-08-31T23:00:00Z</pubDate>
    <guid>http://www.timphilipwilliams.com/posts/2012-08-31-a-new-blog.html</guid>
    <dc:creator>Tim Williams</dc:creator>
</item>
<item>
    <title>Fixing GADTs</title>
    <link>http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html</link>
    <description><![CDATA[An exploration of type-safe traversals in Haskell using GADTs.]]></description>
    <pubDate>2013-01-16T23:00:00Z</pubDate>
    <guid>http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html</guid>
    <dc:creator>Tim Williams</dc:creator>
</item>
<item>
    <title>The Essence of Compilation</title>
    <link>http://www.timphilipwilliams.com/posts/2014-05-22-the-essence-of-compilation.html</link>
    <description><![CDATA[A toy compiler and virtual-machine in less than fifty lines of haskell.]]></description>
    <pubDate>2014-05-22T08:30:00Z</pubDate>
    <guid>http://www.timphilipwilliams.com/posts/2014-05-22-the-essence-of-compilation.html</guid>
    <dc:creator>Tim Williams</dc:creator>
</item>
<item>
    <title>Map Comprehensions</title>
    <link>http://www.timphilipwilliams.com/posts/2014-06-05-map-comprehensions.html</link>
    <description><![CDATA[An idea for a useful indexed monad: the map comprehension.]]></description>
    <pubDate>2014-06-05T08:30:00Z</pubDate>
    <guid>http://www.timphilipwilliams.com/posts/2014-06-05-map-comprehensions.html</guid>
    <dc:creator>Tim Williams</dc:creator>
</item>
<item>
    <title>Structural Typing for Structured Products</title>
    <link>http://www.timphilipwilliams.com/posts/2014-10-08-haskell-exchange.html</link>
    <description><![CDATA[Slides and some example code for the Haskell Exchange 2014 talk.]]></description>
    <pubDate>2014-10-08T19:10:00Z</pubDate>
    <guid>http://www.timphilipwilliams.com/posts/2014-10-08-haskell-exchange.html</guid>
    <dc:creator>Tim Williams</dc:creator>
</item>
<item>
    <title>Ergonomic Input</title>
    <link>http://www.timphilipwilliams.com/posts/2016-12-06-ergonomic-input.html</link>
    <description><![CDATA[My new improved setup for comfortable working.]]></description>
    <pubDate>2016-12-06T23:00:00Z</pubDate>
    <guid>http://www.timphilipwilliams.com/posts/2016-12-06-ergonomic-input.html</guid>
    <dc:creator>Tim Williams</dc:creator>
</item>
<item>
    <title>Functional pearl: Nested Datacubes</title>
    <link>http://www.timphilipwilliams.com/posts/2017-04-12-nested-datacubes.html</link>
    <description><![CDATA[Multi-dimensional aggregation and grouping using nested datacubes in Haskell.]]></description>
    <pubDate>2017-04-12T18:30:00Z</pubDate>
    <guid>http://www.timphilipwilliams.com/posts/2017-04-12-nested-datacubes.html</guid>
    <dc:creator>Tim Williams</dc:creator>
</item>
<item>
    <title>Generating castles for Minecraft™ using Haskell</title>
    <link>http://www.timphilipwilliams.com/posts/2019-07-25-minecraft.html</link>
    <description><![CDATA[Building up a little language with the goal of generating a variety of castles for the Minecraft™ game.]]></description>
    <pubDate>2019-07-25T08:00:00Z</pubDate>
    <guid>http://www.timphilipwilliams.com/posts/2019-07-25-minecraft.html</guid>
    <dc:creator>Tim Williams</dc:creator>
</item>

    </channel>
</rss>
