GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-20 00:22:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

Transfer reference: remove type annotations in let.

Browse Source
This commit is contained in:
bringert
2006-03-01 12:51:10 +00:00
parent bdc1401d7a
commit 146bd72e11
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
doc/transfer-reference.html
View File

@@ -8,7 +8,7 @@
<P ALIGN="center"><CENTER><H1>Transfer language reference</H1> <P ALIGN="center"><CENTER><H1>Transfer language reference</H1>
<FONT SIZE="4"> <FONT SIZE="4">
<I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR> <I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR>
Last update: Fri Dec 9 11:55:35 2005 Last update: Wed Mar 1 13:50:59 2006
</FONT></CENTER> </FONT></CENTER>
<P></P> <P></P>
@@ -226,9 +226,9 @@ argument + 1.
To give local definition to some names, use: To give local definition to some names, use:
</P> </P>
<PRE> <PRE>
let x1 : T1 = exp1 let x1 = exp1
... ...
xn : Tn = expn xn = expn
in exp in exp
</PRE> </PRE>
<P></P> <P></P>