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 FinMap
   6 import CheckInsert
   7 import FreeTheorems
   8 import BFF
   9 import Bidir
  10 import LiftGet
  11 import Precond