(Som) minor typofixes

This commit is contained in:
Inari Listenmaa
2019-08-19 17:49:59 +02:00
parent 21a83b9591
commit 62eb0f84d1
9 changed files with 19 additions and 19 deletions
+1 -1
View File
@@ -15,7 +15,7 @@ lin
ReflVP = ResSom.insertRefl ;
-- : VV -> VP -> VP ;
ComplVV vv vp = vp ** { -- check Sayeed p. 169
ComplVV vv vp = vp ** { -- check Saeed p. 169
s = vv.s ;
vComp = vp.vComp ++ vp.s ! VInf ;
pred = NoPred ;