path: root/Everything.agda

module Everything where

import CBPV.Axiom
import CBPV.Equality
import CBPV.Family
import CBPV.Term
import CBPV.Type