more updates from Codex

This commit is contained in:
Krasimir Angelov committed 2026-09-28 06:56:12 +02:00
1 parent e2e0fca917
commit 2d6beba1e6
13 files changed
+356 -102

No files matched your search

+1 -1
View File
@@ -486,7 +486,7 @@ oper
mkIQuant : Str -> IQuant = \s -> lin IQuant {s=s} ;
mkIDet : Str -> IDet = \s -> lin IDet {s=s} ;
mkSubj : Str -> Subj = \s -> lin Subj {s=s} ;
mkQuant : Str -> Quant = \s -> lin Quant {s=s; sp=Indef} ;
mkQuant : Str -> Quant = \s -> lin Quant {s=\\_=>s; sp=Indef; isArt=False} ;
mkDet : Str -> Number -> Det = \s,n -> lin Det {s=s; n=n; sp=Indef} ;
mkPredet : Str -> Predet = \s -> lin Predet {s=s} ;
mkCard : Str -> Card = \s -> lin Card {s=s} ;