(Kor) Add new constructor for N + new words

2020-04-08 21:04:57 +02:00
1 parent f39662af62
commit ebbade4f0a
@@ -13,8 +13,9 @@ oper
    origin = NK
    } ;

-  mkCounter : Str -> Counter = \s -> baseCounter ** {
+  mkCounter : Str -> NumOrigin -> Counter = \s,o -> baseCounter ** {
    s = s ;
+    origin = o ;
    } ;

  BaseNoun : Type = {