-- | 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