From 28d7ae1a98df73044d16f837847deca419e4622a Mon Sep 17 00:00:00 2001
From: Natalie Perna <nmperna@gmail.com>
Date: Wed, 7 Jun 2017 11:38:11 -0400
Subject: [PATCH] Address n in Set[n].

---
 Figures/AgdaCore.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Figures/AgdaCore.tex b/Figures/AgdaCore.tex
index 54e3160..713e625 100644
--- a/Figures/AgdaCore.tex
+++ b/Figures/AgdaCore.tex
@@ -4,7 +4,7 @@
     |~& \lambda x \to a & \text{abstraction}\\
     |~& a~a             & \text{application}\\
     |~& (x : a) \to a   & \text{function space}\\
-    |~& Set[n]          & \text{universe}\\
+    |~& Set[n]          & \text{polymorphic universe}\\
     |~& (a)             & \text{grouping}
 \end{align*}
 \caption{Agda core syntax grammar \citep{agdawiki}.}