extensions from Codex

This commit is contained in:
Krasimir Angelov committed 2026-10-20 09:32:00 +02:00
1 parent ef9dd1ca40
commit 4e259e4150
15 files changed
+239 -31

No files matched your search

+2
View File
@@ -47,6 +47,8 @@ concrete CatTha of Cat = CommonX ** open ResTha, Prelude in {
Predet = {s1,s2 : Str} ;
Ord = {s : Str} ;
Num = {s : Str ; hasC : Bool} ;
ACard = {s : Str} ;
DAP = Determiner ** {adj : Str} ;
-- Numeral