From 2d6b11486bc7a9ddff5486c5bcc8d615861fc94c Mon Sep 17 00:00:00 2001 From: ben Date: Wed, 16 Mar 2016 10:34:52 -0400 Subject: [PATCH] [icfp] add subject to a little phrase --- icfp-2016/implementation.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/icfp-2016/implementation.scrbl b/icfp-2016/implementation.scrbl index 7a41e5f..0616f2e 100644 --- a/icfp-2016/implementation.scrbl +++ b/icfp-2016/implementation.scrbl @@ -453,7 +453,7 @@ For our purposes, we redirect to an annotated version of the same variable: ] For definitions, we use a @emph{free-identifier table}. -This is less fancy--just a hashtable whose keys respect +This is less fancy--it is just a hashtable whose keys respect @exact{$\alpha$}-equivalence--but still useful in practice.