From 41aaed58d4734b7cec5a4d2567283cb818f77cbb Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 6 Dec 2005 16:23:29 +0000 Subject: Moved transfer documentation to doc/. Added sections and text to transfer tutorial and reference. Added script for generating html from txt2tags files. --- transfer/examples/test.tr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'transfer/examples/test.tr') diff --git a/transfer/examples/test.tr b/transfer/examples/test.tr index 8f08f8431..0abb933ef 100644 --- a/transfer/examples/test.tr +++ b/transfer/examples/test.tr @@ -1,4 +1,4 @@ import nat import fib -main = natToInt (fibNat (intToNat 10)) \ No newline at end of file +-- main = natToInt (fibNat (intToNat 10)) \ No newline at end of file -- cgit v1.2.3