(Ara) Guessing default implementations in various categories

2018-09-06 16:25:50 +02:00
parent 07b99f455f
commit bdef0d0f12
7 changed files with 28 additions and 28 deletions
@@ -215,7 +215,7 @@ resource ParadigmsAra = open
  mkV0  : V -> V0 ;
  mkVS  : V -> VS ;
  mkV2S : V -> Str -> V2S ;
--  mkVV  : V -> VV ;
+  mkVV  : V -> VV ;
  mkV2V : V -> Str -> Str -> V2V ;
  mkVA  : V -> VA ;
  mkV2A : V -> Str -> V2A ;
@@ -507,6 +507,8 @@ resource ParadigmsAra = open
  mkVS  v = v ** {lock_VS = <>} ;
  mkVQ  v = v ** {lock_VQ = <>} ;

+  mkVV v = lin VV v ** {isAux = False} ;
+
  V0 : Type = V ;
 ----  V2S, V2V, V2Q, V2A : Type = V2 ;
  AS, A2S, AV : Type = A ;