added missing extensions (Codex)

This commit is contained in:
Krasimir Angelov committed 2026-06-05 08:25:21 +02:00
1 parent 8458a74e25
commit e65469ffb2
7 files changed
+246 -7

No files matched your search

+1
View File
@@ -66,6 +66,7 @@ concrete CatFin of Cat = CommonX ** open ResFin, StemFin, Prelude in {
Predet = {s : Number => NPForm => Str} ;
Quant = {s1,sp : Number => Case => Str ; s2 : Harmony => Str ; isPoss : Bool ; isDef : Bool ; isNeg : Bool} ;
Card = {s : Number => Case => Str ; n : Number} ;
ACard = {s : Number => Case => Str ; n : Number} ;
Num = {s : Number => Case => Str ; isNum : Bool ; n : Number} ;
-- Numeral