* update todos

samth · May 22, 2012 · bdedffb · bdedffb
1 parent cc604a9
commit bdedffb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/cpcf/in-racket/README b/cpcf/in-racket/README
@@ -1,2 +1,6 @@
 * TODO
 ** use real Racket contracts instead of comments
+** use real sets
+** use environment instead of substitution
+** use nameless representation for lambdas
+** make sure result is consistent with redex model