mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
Transfer reference: remove type annotations in let.
This commit is contained in:
@@ -8,7 +8,7 @@
|
||||
<P ALIGN="center"><CENTER><H1>Transfer language reference</H1>
|
||||
<FONT SIZE="4">
|
||||
<I>Author: Björn Bringert <bringert@cs.chalmers.se></I><BR>
|
||||
Last update: Fri Dec 9 11:55:35 2005
|
||||
Last update: Wed Mar 1 13:50:59 2006
|
||||
</FONT></CENTER>
|
||||
|
||||
<P></P>
|
||||
@@ -226,9 +226,9 @@ argument + 1.
|
||||
To give local definition to some names, use:
|
||||
</P>
|
||||
<PRE>
|
||||
let x1 : T1 = exp1
|
||||
let x1 = exp1
|
||||
...
|
||||
xn : Tn = expn
|
||||
xn = expn
|
||||
in exp
|
||||
</PRE>
|
||||
<P></P>
|
||||
|
||||
Reference in New Issue
Block a user