switch examples to PartialVecVec
[~helmut/bidiragda.git] / Everything.agda
index 7399254..e37c76e 100644 (file)
@@ -10,3 +10,5 @@ import BFF
 import Bidir
 import LiftGet
 import Precond
+import Examples
+import BFFPlug