1. Cat's Eye Technologies
  2. Arboretuum

Commits

Cat's Eye Technologies  committed 616a761

Import revision 2010.0427 (just XHTML fixes.)

  • Participants
  • Parent commits c14a9a7
  • Branches default

Comments (0)

Files changed (1)

File doc/arboretuum.html

View file
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/2002/REC-xhtml1-20020801/DTD/xhtml1-strict.dtd">
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml" lang="en">
 <head>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
 <title>The Arboretuum Programming Language</title>
 </head>
 <body>
 
 <p>I will refer you to the reference implementation of Arboretuum
 for details on the semantics of the language.  Ordinarily I frown upon this
-sort of practice -- normatively defining a language by an implementation
-rather than by a specification -- but the interests of brevity, the experimental tack of the
+sort of practice &mdash; normatively defining a language by an implementation
+rather than by a specification &mdash; but the interests of brevity, the experimental tack of the
 project, the unsuccessful outcome of the experiment, and the relative
 well-definedness of the implementation language (the purely functional subset of R<sup>5</sup>RS Scheme) conspire
 to make the consequences of this choice less painful than usual.</p>
 
 <li><code>tree-rewrite.scm</code>
 <p>Some basic tree-rewriting code, to provide contrast between it's complexity
-and that of forest rewriting.</p>
-
-</p></li>
+and that of forest rewriting.</p></li>
 
 </ul>
 
 <p>Happy forest-rewriting!</p>
 
 <p>-Chris Pressey
-<br>Cat's Eye Technologies
-<br>March 4, 2008
-<br>Chicago, Illinois, USA</p>
+<br/>Cat's Eye Technologies
+<br/>March 4, 2008
+<br/>Chicago, Illinois, USA</p>
 
 
 </body>