(Kor) Small cleanup and new words

2020-03-25 11:40:46 +01:00
parent e93b9c6743
commit b95ed78982
3 changed files with 3 additions and 3 deletions
@@ -86,7 +86,7 @@ oper
 -- hidden from the document.

  mkN = overload {
-    mkN : Str -> N                   = \s   -> lin N (mkNoun s) ;
+    mkN : Str -> N = \s   -> lin N (mkNoun s) ;
    } ;