(Som) Shaving off parameters here and there

This commit is contained in:
Inari Listenmaa
2019-07-20 18:35:19 +03:00
parent 2efd8435ae
commit 89b52b89f9
8 changed files with 177 additions and 147 deletions
+4 -2
View File
@@ -15,8 +15,10 @@ lin
ReflVP = ResSom.insertRefl ;
-- : VV -> VP -> VP ;
ComplVV vv vp = useV vv ** { -- check Sayeed p. 169
vComp = infVP vp
ComplVV vv vp = vp ** { -- check Sayeed p. 169
s = vv.s ;
vComp = vp.vComp ++ vp.s ! VInf ;
pred = NoPred ;
} ;
{-
-- : VS -> S -> VP ;