summaryrefslogtreecommitdiff
path: root/doc/transfer-tutorial.html
diff options
context:
space:
mode:
Diffstat (limited to 'doc/transfer-tutorial.html')
-rw-r--r--doc/transfer-tutorial.html8
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/transfer-tutorial.html b/doc/transfer-tutorial.html
index 7ca1c2060..038ba1aca 100644
--- a/doc/transfer-tutorial.html
+++ b/doc/transfer-tutorial.html
@@ -7,7 +7,7 @@
<P ALIGN="center"><CENTER><H1>Transfer tutorial</H1>
<FONT SIZE="4">
<I>Author: Björn Bringert &lt;bringert@cs.chalmers.se&gt;</I><BR>
-Last update: Tue Dec 6 14:26:07 2005
+Last update: Tue Dec 6 17:25:21 2005
</FONT></CENTER>
<P></P>
@@ -77,7 +77,7 @@ There is an English concrete syntax for this grammar in
<A NAME="toc4"></A>
<H1>Generate tree module</H1>
<P>
-To be able to write Transfer programs which sue the types defined in
+To be able to write Transfer programs which use the types defined in
an abstract syntax, we first need to generate a Transfer file with
a data type defintition corresponding to the abstract syntax.
This is done with the <CODE>transfer</CODE> grammar printer:
@@ -95,7 +95,7 @@ abstract syntax module is not enough. FIXME: why?
</P>
<P>
The command sequence above writes a Transfer data type definition to the
-file <CODE>tree.tr</CODE>.
+file <A HREF="../transfer/examples/aggregation/tree.tr">tree.tr</A>.
</P>
<A NAME="toc5"></A>
<H1>Write transfer code</H1>
@@ -206,5 +206,5 @@ know which abstract sytnax to type check it in.
</P>
<!-- html code generated by txt2tags 2.0 (http://txt2tags.sf.net) -->
-<!-- cmdline: txt2tags darcs.txt transfer-reference.txt transfer-tutorial.txt transfer.txt -->
+<!-- cmdline: txt2tags transfer-tutorial.txt -->
</BODY></HTML>