Expr.hs

-- | All submodules, in a topological order.
--
-- WARNING: this is a rough draft to experiment
-- with the generation of explicitely typed terms
-- from implicitely typed expressions;
-- see @Expr/Test.hs@.
module Language.LOL.Typing.Expr
 ( module Language.LOL.Typing.Expr.Common
 , module Language.LOL.Typing.Expr.Grammar
 , module Language.LOL.Typing.Expr.Utils
 -- , module Language.LOL.Typing.Expr.Write
 ) where

import Language.LOL.Typing.Expr.Calculus ()
import Language.LOL.Typing.Expr.Common
import Language.LOL.Typing.Expr.Grammar
import Language.LOL.Typing.Expr.Utils
import Language.LOL.Typing.Expr.Write ()