allow shape shape updates in bff
[~helmut/bidiragda.git] / Everything.agda
index 76beef6..e1734a9 100644 (file)
@@ -4,8 +4,10 @@ module Everything where
 import Generic
 import FinMap
 import CheckInsert
+import GetTypes
 import FreeTheorems
 import BFF
 import Bidir
 import LiftGet
 import Precond
+import Examples