diff --git a/doc/arboretuum.html b/doc/arboretuum.html old file mode 100755 new file mode 100644 index c2afa91..d403b9e 100644 --- a/doc/arboretuum.html +++ b/doc/arboretuum.html @@ -1,8 +1,13 @@ + The Arboretuum Programming Language + + + + @@ -33,8 +38,8 @@

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 — normatively defining a language by an implementation +rather than by a specification — 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 R5RS Scheme) conspire to make the consequences of this choice less painful than usual.