Well what we have now is way way way suboptimal as even experienced FPers (thought not Schemers) in our lab get tripped over this stuff.
1. I had forgotten that context narrowing exists. Other people don't seem to know either.
1a. I bet the interface is too clumsy, if people can't find what they want.
2. We need automatic context narrowing for teaching languages from HtDP (and its relatives).
-- Matthias _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
