module Language.Symantic
 ( -- * Typing terms.
   module Language.Symantic.Typing
 , -- * Compiling terms.
   module Language.Symantic.Compiling
 , -- * Interpreting terms.
   module Language.Symantic.Interpreting
 ) where

import Language.Symantic.Typing
import Language.Symantic.Compiling
import Language.Symantic.Interpreting