Merge branch 'GrammaticalFramework:master' into corrections

This commit is contained in:
Hans Leiß
2025-10-05 19:15:50 +02:00
committed by GitHub
42 changed files with 74326 additions and 8 deletions
+1 -1
View File
@@ -41,7 +41,7 @@ concrete CatGer of Cat =
VP = ResGer.VP ;
VPSlash = ResGer.VPSlash ;
Comp = {s : Agr => Str ; ext : Str} ;
Comp = {s : Agr => Str ; ext : Number => Str} ;
-- Adjective (HL 7/23: we need c : Agr => Str * Str to handle reflexive objects, cf ReflA2)