(Kor) Add variants using commas instead of repeated conjunctions

2026-06-27 03:46:29 -06:00 · 2020-04-06 17:37:00 +02:00
parent 0053d8223c
commit edc79e4717
3 changed files with 21 additions and 6 deletions
@@ -254,7 +254,7 @@ oper
 -- Conj

  Conj : Type = {
-    s1 : Str ;
+    s1, s2 : Str ;
    c : ConjType ; -- if it's And, Or, …
                   -- Need to add conjunction already in ConsX funs.
    n : Number ;