-- | Transforming terms.
module Language.Symantic.Transforming
 ( module Language.Symantic.Transforming.Trans
 , module Language.Symantic.Transforming.Beta
 ) where

import Language.Symantic.Transforming.Trans
import Language.Symantic.Transforming.Beta