fixes for verbs

This commit is contained in:
Krasimir Angelov
2024-10-31 13:29:48 +01:00
parent abf4cd4cb2
commit a235cc9594
2 changed files with 3 additions and 3 deletions
+1 -1
View File
@@ -1566,7 +1566,7 @@ mkV = overload {
mkV : Str -> Str -> Str -> Str -> V = reg4V
} ;
reflV : V -> V = \v -> v ;
reflV : V -> V = \v -> v ** {isRefl=True} ;
mkV2 = overload {
mkV2 : V -> V2 = \v -> lin V2 v ** {c2=noPrep} ;