Import revision 2010.0427 (just XHTML fixes.)
Cat's Eye Technologies
10 years ago
0 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/2002/REC-xhtml1-20020801/DTD/xhtml1-strict.dtd"> | |
0 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> | |
1 | 1 | <html xmlns="http://www.w3.org/1999/xhtml" lang="en"> |
2 | 2 | <head> |
3 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> | |
3 | 4 | <title>The Arboretuum Programming Language</title> |
4 | 5 | </head> |
5 | 6 | <body> |
31 | 32 | |
32 | 33 | <p>I will refer you to the reference implementation of Arboretuum |
33 | 34 | for details on the semantics of the language. Ordinarily I frown upon this |
34 | sort of practice -- normatively defining a language by an implementation | |
35 | rather than by a specification -- but the interests of brevity, the experimental tack of the | |
35 | sort of practice — normatively defining a language by an implementation | |
36 | rather than by a specification — but the interests of brevity, the experimental tack of the | |
36 | 37 | project, the unsuccessful outcome of the experiment, and the relative |
37 | 38 | well-definedness of the implementation language (the purely functional subset of R<sup>5</sup>RS Scheme) conspire |
38 | 39 | to make the consequences of this choice less painful than usual.</p> |
75 | 76 | |
76 | 77 | <li><code>tree-rewrite.scm</code> |
77 | 78 | <p>Some basic tree-rewriting code, to provide contrast between it's complexity |
78 | and that of forest rewriting.</p> | |
79 | ||
80 | </p></li> | |
79 | and that of forest rewriting.</p></li> | |
81 | 80 | |
82 | 81 | </ul> |
83 | 82 | |
94 | 93 | <p>Happy forest-rewriting!</p> |
95 | 94 | |
96 | 95 | <p>-Chris Pressey |
97 | <br>Cat's Eye Technologies | |
98 | <br>March 4, 2008 | |
99 | <br>Chicago, Illinois, USA</p> | |
96 | <br/>Cat's Eye Technologies | |
97 | <br/>March 4, 2008 | |
98 | <br/>Chicago, Illinois, USA</p> | |
100 | 99 | |
101 | 100 | |
102 | 101 | </body> |