(Cze) add mkAdA

2026-09-17 19:08:13 +02:00
parent 1d2e16e929
commit 3b14d6c035
1 changed files with 3 additions and 0 deletions
@@ -132,6 +132,9 @@ oper

 ------------------------
 -- Adverbs, prepositions, conjunctions, ...
+ 
+  mkAdA : Str -> AdA
+    = \s -> lin AdA {s = s} ;

  mkAdv : Str -> Adv
    = \s -> lin Adv {s = s} ;