path: root/Everything.agda

-- The sole purpose of this module is to ease compilation of everything.
module Everything where

import Generic
import FinMap
import CheckInsert
import FreeTheorems
import BFF
import Bidir
import LiftGet
import Precond