pass get functions as records
[~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 FinMap
6 import CheckInsert
7 import FreeTheorems
8 import BFF
9 import Bidir
10 import LiftGet
11 import Precond