]> Git — Sourcephile - haskell/symantic.git/blob - Language/Symantic.hs
Simplify the Constraint projection
[haskell/symantic.git] / Language / Symantic.hs
1 module Language.Symantic
2 ( -- * Types for the expressions.
3 module Language.Symantic.Typing
4 {-
5 , -- * Expressions.
6 module Language.Symantic.Expr
7 , -- * Interpreters of expressions.
8 module Language.Symantic.Repr
9 , -- * Transformers of expressions
10 module Language.Symantic.Trans
11 -}
12 ) where
13
14 import Language.Symantic.Typing
15 -- import Language.Symantic.Expr
16 -- import Language.Symantic.Repr
17 -- import Language.Symantic.Trans