module Index

-- Definitions and encodings of some linear type formers
import Linear.Types

-- Some equality combinators and lemmas for linear types
import Linear.Equality

-- Quantitative containers
import QCont

-- Quantitative polynomial functors
import QPF

-- Examples of using both QCont and QPF
import Examples
