http://www.nobugs.org/blog/archives/2003/12/17/luca-cardelli/ Thoughts of a software engineer Tue, 06 Jan 2009 10:10:32 +0000 http://wordpress.org/?v=2.6.3 http://www.nobugs.org/blog/archives/2003/12/17/luca-cardelli/#comment-293 Tristram Brelstaff Thu, 14 Oct 2004 19:38:30 +0000 http://www.nobugs.org/blog/archives/2003/12/17/luca-cardelli/#comment-293 Luca Cardelli's Dijkstra font is no good - it doesn't even include the 'and', 'or' or 'equivalence' symbols. EWD wouldn't have got very far with it. Luca Cardelli’s Dijkstra font is no good - it doesn’t even include the ‘and’, ‘or’ or ‘equivalence’ symbols. EWD wouldn’t have got very far with it.

]]>