<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	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/"
	
	>
<channel>
	<title>Comments on: Reverse-engineering length-typed vectors</title>
	<atom:link href="http://conal.net/blog/posts/reverse-engineering-length-typed-vectors/feed" rel="self" type="application/rss+xml" />
	<link>http://conal.net/blog/posts/reverse-engineering-length-typed-vectors</link>
	<description>Inspirations &#38; experiments, mainly about denotative/functional programming in Haskell</description>
	<lastBuildDate>Sat, 26 Sep 2020 21:06:12 +0000</lastBuildDate>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=4.1.17</generator>
	<item>
		<title>By: Conal Elliott &#187; Blog Archive &#187; A trie for length-typed vectors</title>
		<link>http://conal.net/blog/posts/reverse-engineering-length-typed-vectors#comment-810</link>
		<dc:creator><![CDATA[Conal Elliott &#187; Blog Archive &#187; A trie for length-typed vectors]]></dc:creator>
		<pubDate>Mon, 31 Jan 2011 23:04:19 +0000</pubDate>
		<guid isPermaLink="false">http://conal.net/blog/?p=305#comment-810</guid>
		<description><![CDATA[&lt;p&gt;[...] About      &#171; Reverse-engineering length-typed vectors [...]&lt;/p&gt;
]]></description>
		<content:encoded><![CDATA[<p>[&#8230;] About      &laquo; Reverse-engineering length-typed vectors [&#8230;]</p>
]]></content:encoded>
	</item>
</channel>
</rss>
