<?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: Luca Cardelli</title>
	<atom:link href="http://www.nobugs.org/blog/archives/2003/12/17/luca-cardelli/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.nobugs.org/blog/archives/2003/12/17/luca-cardelli/</link>
	<description>Thoughts of a software engineer</description>
	<lastBuildDate>Fri, 12 Mar 2010 14:56:25 +0000</lastBuildDate>
	<generator>http://wordpress.org/?v=2.8.4</generator>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
		<item>
		<title>By: Tristram Brelstaff</title>
		<link>http://www.nobugs.org/blog/archives/2003/12/17/luca-cardelli/comment-page-1/#comment-293</link>
		<dc:creator>Tristram Brelstaff</dc:creator>
		<pubDate>Thu, 14 Oct 2004 19:38:30 +0000</pubDate>
		<guid isPermaLink="false">http://www.nobugs.org/blog/archives/2003/12/17/luca-cardelli/#comment-293</guid>
		<description>Luca Cardelli&#039;s Dijkstra font is no good - it doesn&#039;t even include the &#039;and&#039;, &#039;or&#039; or &#039;equivalence&#039; symbols.  EWD wouldn&#039;t have got very far with it.</description>
		<content:encoded><![CDATA[<p>Luca Cardelli&#8217;s Dijkstra font is no good &#8211; it doesn&#8217;t even include the &#8216;and&#8217;, &#8216;or&#8217; or &#8216;equivalence&#8217; symbols.  EWD wouldn&#8217;t have got very far with it.</p>
]]></content:encoded>
	</item>
</channel>
</rss>
