[r2003-01-17 20:01:52 by cvscast] Empty log message

Original author: cvscast
Date: 2003-01-17 20:02:21+00:00

tests/memento.xml

@@ -45,16 +45,17 @@ which includes a few built-in examples.
 <section>
 <title> Operators</title>
 <ul>
-   <li> Infix:
+   <li>Infix:
      <br/> <duce>@</duce> : String,String -> String
-     <br/> <duce>+,*,-,div</duce> : Integer,Integer->Integer
+     <br/> <duce>+,*,-,div</duce> : Integer,Integer -> Integer
    </li>
-   <li> Prefix:
+   <li>Prefix:
         <br/><duce>flatten</duce> : polymorphic
         <br/><duce>load_xml,load_html</duce> : String -> Any 
 	<br/><duce>print_xml</duce> : Any -> String
-	<br/><duce>int_of</duce> : [('0'--'9')*]->Integer
-	<br/><duce>string_of</duce> : Integer->String
+	<br/><duce>print_xml</duce> : String -> []
+	<br/><duce>int_of</duce> : [('0'--'9')*] -> Integer
+	<br/><duce>string_of</duce> : Integer -> String
 
    </li>
 </ul>