From 3bdd7c603d443112002268dbc6484ec2b666812b Mon Sep 17 00:00:00 2001
From: Carl Eastlund <cce@racket-lang.org>
Date: Tue, 17 Jan 2006 23:52:17 +0000
Subject: [PATCH] Updated Honu goals

svn: r1855
---
 collects/honu/cce-notes.txt | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/collects/honu/cce-notes.txt b/collects/honu/cce-notes.txt
index a4d4194837..47610cb6f8 100644
--- a/collects/honu/cce-notes.txt
+++ b/collects/honu/cce-notes.txt
@@ -1,10 +1,7 @@
 Todo:
 
 Mixin Sealing
-- environments
-  - single value->type environment (remove class-env)
-  - implement applicative environments
-- define type equality
+- move to single, applicative environment
 Test Suite Improvements
 Numeric Library