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