Commit 14979593 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-04-23 22:27:42 by beppe] typos

Original author: beppe
Date: 2004-04-23 22:27:42+00:00
parent 0da1445b
......@@ -85,9 +85,9 @@ where <code>%%p%%</code> is a pattern and <code>%%e%%</code>,
prototype: just select and copy it, click on the link to the on-line
interpreter in the side bar (we suggest you open it in a new window), paste it in the execution window and run it. The
second example instead cannot be run. This is visually signaled by the fact
that it contains text in italics. We use italics for meta notation, so
<code>%%e%%</code> and <code>%%e'%%</code> stand for generic expression, so it is useless to run
this could (you would just obtain an error signaling that <code>e</code> is
that it contains text in italics. We use italics for meta notation, that is
<code>%%e%%</code> and <code>%%e'%%</code> stand for generic expressions, therefore it is useless to run
this code (you would just obtain an error signaling that <code>e</code> is
not bound or that the quote in <code>e'</code> is not closed). This is true also in general in what follows: code without
italicized text can be copied and pasted in the on-line prototype as they are
(of course you must first paste the declarations of the types they use);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment