From 70dafdd0050c290952ed13f76078e3830800f286 Mon Sep 17 00:00:00 2001
From: Julien Moutinho <julm+lol@autogeree.net>
Date: Sat, 8 Oct 2016 01:42:53 +0200
Subject: [PATCH] init

---
 Language/LOL/Symantic/Expr/Common.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Language/LOL/Symantic/Expr/Common.hs b/Language/LOL/Symantic/Expr/Common.hs
index e057eff..9d288e2 100644
--- a/Language/LOL/Symantic/Expr/Common.hs
+++ b/Language/LOL/Symantic/Expr/Common.hs
@@ -105,8 +105,9 @@ op2_from op ty_lit ast_x ast_y ex ast ctx k =
 
 -- | GADT for a typing context,
 -- accumulating an @item@ at each lambda;
--- used to accumulate object-types of lambda variables in 'Expr_from'
--- or host-terms of lambda variables in 'Repr_Host'.
+-- used to accumulate object-types (in 'Expr_from')
+-- or host-terms (in 'Repr_Host')
+-- associated with the 'Lambda_Var's in scope.
 data Context :: (* -> *) -> [*] -> * where
 	Context_Empty :: Context item '[]
 	Context_Next  :: item h -> Context item hs -> Context item (h ': hs)
-- 
2.47.2