allow shape shape updates in bff
[~helmut/bidiragda.git] / Everything.agda
index 7399254..e1734a9 100644 (file)
@@ -10,3 +10,4 @@ import BFF
 import Bidir
 import LiftGet
 import Precond
+import Examples