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 94e9ba9262
commit 4fa1322079
8 changed files with 369 additions and 170 deletions
+1
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) ;
} ;