extensions by Codex

This commit is contained in:
Krasimir Angelov committed 2026-10-02 08:37:49 +02:00
1 parent d77ab651b0
commit b41c966eb2
7 files changed
+211 -2

No files matched your search

+4
View File
@@ -56,6 +56,10 @@ concrete SentenceDut of Sentence = CatDut ** open ResDut, Prelude in {
UseCl t p cl = {
s = \\o => t.s ++ p.s ++ cl.s ! t.t ! t.a ! p.p ! o
} ;
AdvImp adv imp = {
s = \\pol,form => adv.s ++ imp.s ! pol ! form
} ;
UseQCl t p cl = {
s = \\q => t.s ++ p.s ++ cl.s ! t.t ! t.a ! p.p ! q
} ;