use consistent lin X everywhere

This commit is contained in:
Krasimir Angelov committed 2025-11-14 14:12:57 +01:00
1 parent 48658e3689
commit c7fe453c12
58 files changed
+330 -334

No files matched your search

+2 -2
View File
@@ -26,10 +26,10 @@ oper
mkN2 n = mkFun n nullPrep ;
mkFun : N -> Complement -> N2;
mkFun f c = f ** { c = c } ;
mkFun f c = lin N2 (f ** { c = c }) ;
mkN3 : N -> Complement -> Complement -> N3;
mkN3 f c1 c2 = f ** { c1 = c1 ; c2 = c2 };
mkN3 f c1 c2 = lin N3 (f ** { c1 = c1 ; c2 = c2}) ;
-- Prepositions