Everything.agda


1
2
3
4
5
6
7
8
9
10
11
12
13
14

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

import Generic
import FinMap
import CheckInsert
import GetTypes
import FreeTheorems
import BFF
import Bidir
import LiftGet
import Precond
import Examples
import BFFPlug