{-|
Module      : Framework.Lambda
Description : Exports terms, types, and some delta rules.
Copyright   : (c) Julian Grove and Aaron Steven White, 2025
License     : MIT
Maintainer  : julian.grove@gmail.com
-}

module Framework.Lambda ( module Framework.Lambda.Convenience
                        , module Framework.Lambda.Delta
                        , module Framework.Lambda.Signature
                        , module Framework.Lambda.Terms
                        , module Framework.Lambda.Types
                        ) where

import Framework.Lambda.Convenience
import Framework.Lambda.Delta
import Framework.Lambda.Signature
import Framework.Lambda.Terms
import Framework.Lambda.Types