From 0460ca5ca870e130c95c4db657ad6a4bb151ced0 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay.mccarthy@gmail.com>
Date: Fri, 14 Oct 2011 16:59:03 -0600
Subject: [PATCH] note

---
 gen/stlc.rkt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gen/stlc.rkt b/gen/stlc.rkt
index 18fee30..c14d5a7 100644
--- a/gen/stlc.rkt
+++ b/gen/stlc.rkt
@@ -1,6 +1,9 @@
 #lang racket
 (require redex/reduction-semantics)
 
+;; XXX Use De Bruijin indices and maybe use that to cache the results
+;; of generating terms of some size
+
 (define-language STLC
   [e x
      ()