path: root/Everything.agda

module Everything where

import CBPV.Context
import CBPV.Family
import CBPV.Frex.Comp
import CBPV.Structure
import CBPV.Type