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

[r2006-05-29 15:09:50 by ngesbert] Slightly modified the description of the...

[r2006-05-29 15:09:50 by ngesbert] Slightly modified the description of the general syntax of a function
expression: the number of types in the abstraction has nothing to do
with the number of branches in the pattern matching, so they shouldn't
both be called "n"

Original author: ngesbert
Date: 2006-05-29 15:09:50+00:00
parent 2f1e8c52
......@@ -85,7 +85,7 @@ The general form for a function expression is:
fun %%f%% (%%t1%% -> %%s1%%; %%...%%; %%tn%% -> %%sn%%)
| %%p1%% -> %%e1%%
%%...%%
| %%pn%% -> %%en%%
| %%pm%% -> %%em%%
]]></sample>
<p>
......
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