1
0
forked from GitHub/gf-rgl

(Som) Implement remaining funs needed for ExtendSom + use ExtendFunctor

This commit is contained in:
Inari Listenmaa
2019-10-03 18:01:26 +02:00
parent c2e0c709a7
commit 6a1ebffcee
4 changed files with 17 additions and 18 deletions
+3 -5
View File
@@ -42,19 +42,17 @@ lin
--2 Embedded sentences
{-
-- : S -> SC ;
EmbedS s = { } ;
EmbedS s = {s = s.s ! True} ; -- choose subordinate
-- : QS -> SC ;
EmbedQS qs = { } ;
-- EmbedQS qs = { } ;
-- : VP -> SC ;
EmbedVP vp = { s = linVP vp } ;
EmbedVP vp = {s = infVP vp} ;
--2 Sentences
-}
-- : Temp -> Pol -> Cl -> S ;
UseCl t p cls = {
s = \\isSubord => let cl = cl2sentence isSubord cls in