added an experimental version of TranslateDut, and documentation steps.t2t on how it was built

This commit is contained in:
aarne
2014-04-11 07:48:26 +00:00
parent ea40bc151b
commit 7363598913
8 changed files with 887 additions and 5 deletions

View File

@@ -90,7 +90,7 @@ lin
UseQuantPN q pn = {s = \\c => q.s ! False ! Sg ++ pn.s ! npcase2case c ; a = agrgP3 Sg pn.g} ; -- this London
SlashV2V v p vp = insertObjc (\\a => p.s ++ case p.p of {CPos => ""; _ => "not"} ++ -- force not to sleep
SlashV2V v p vp = insertObjc (\\a => p.s ++ case p.p of {CPos => ""; _ => "nicht"} ++ -- force not to sleep
v.c3 ++
infVP v.typ vp a)
(predVc v) ;
@@ -107,7 +107,7 @@ lin
}
} ;
-}
CompS s = {s = \\_ => "that" ++ s.s ! Main} ; -- S -> Comp
CompS s = {s = \\_ => "dass" ++ s.s ! Main} ; -- S -> Comp
CompVP ant p vp = {s = \\_ => useInfVP True vp} ; -- VP -> Comp
lin