From 95f6c0b034eef25fe2a1cfb5654fc9a07956a0fc Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Sat, 25 Feb 2017 17:01:06 +0000
Subject: wib

---
 language/l2.ott | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/language/l2.ott b/language/l2.ott
index 74431b32..4a0d138e 100644
--- a/language/l2.ott
+++ b/language/l2.ott
@@ -135,7 +135,7 @@ id :: '' ::=
 % targets use alphabetical infix operators. 
 
 kid :: '' ::=
-  {{ com [[Type]], [[Nat]], [[Order]], and [[Effect]] variables }}
+  {{ com kinded IDs: [[Type]], [[Nat]], [[Order]], and [[Effect]] variables }}
   {{ aux _ l }}
   | ' x                       :: :: var
  
-- 
cgit v1.2.3