7383dd5730057aa8c720e6081eebe6437903748b
[~helmut/bidiragda.git] / Everything.agda
1 -- The sole purpose of this module is to ease compilation of everything.
2 module Everything where
3
4 import Generic
5 import Structures
6 import FinMap
7 import CheckInsert
8 import GetTypes
9 import FreeTheorems
10 import BFF
11 import Bidir
12 import LiftGet
13 import Precond
14 import Examples
15 import BFFPlug