note

get-bonus · Oct 14, 2011 · 0460ca5 · 0460ca5
1 parent 787a06f
commit 0460ca5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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
      ()