diff options
Diffstat (limited to 'src/CHAD/AST.hs')
| -rw-r--r-- | src/CHAD/AST.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/CHAD/AST.hs b/src/CHAD/AST.hs index be7f95e..ce9eb20 100644 --- a/src/CHAD/AST.hs +++ b/src/CHAD/AST.hs @@ -142,6 +142,11 @@ deriving instance (forall ty. Show (x ty)) => Show (Expr x env t) -- | A (well-typed, well-scoped) expression using De Bruijn indices. The full -- 'Expr' type is parametrised on an indexed type of "additional info" (@x@); -- 'Ex' sets this to nothing. +-- +-- Construct expressions using the functions in "CHAD.Language". +-- +-- Use 'CHAD.AST.Pretty.pprintExpr' or 'CHAD.AST.Pretty.ppExpr' to inspect +-- expressions. type Ex = Expr (Const ()) ext :: Const () a |