From ae634c056b500a568b2d89b7f8e225404a2c0c62 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Wed, 26 Nov 2025 17:44:25 +0100
Subject: APIv1: Some fixes

---
 src/CHAD/AST.hs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/CHAD/AST.hs')

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
-- 
cgit v1.2.3-70-g09d2