Finnish VV inf forms extended with "näyttää tulevan" and "toivoo tulevansa"

This commit is contained in:
aarne
2013-03-31 10:03:41 +00:00
parent 700365d630
commit fbe9db8b55
8 changed files with 369 additions and 170 deletions

View File

@@ -81,6 +81,7 @@ oper
mkWVV = overload {
mkWVV : (_ : Str) -> VV = \s -> mkVV (mkV s) ;
mkWVV : (_ : VForms) -> VV = \vf -> mkVV (mkV (lin VK {s = vf})) ;
mkWVV : (_ : VForms) -> InfForm -> VV = \vf,i -> mkVV (mkV (lin VK {s = vf})) i ;
mkWVV : (_ : V) -> VV = \v -> mkVV v ;
mkWVV : VForms -> Str -> VV = \vf,s -> mkVV (mkV (mkV (lin VK {s = vf})) s) ;
} ;