TODO
changeset 2045 6800fcaafa2a
parent 1987 72bed4519c86
child 2383 83f1b16486ee
--- a/TODO	Tue May 04 14:13:18 2010 +0200
+++ b/TODO	Tue May 04 14:21:18 2010 +0200
@@ -14,6 +14,7 @@
 - types of bindings match types of binding functions
 - fsets are not bound in lst bindings
 - bound arguments are not datatypes
+- binder is referred to by name and not by type
 
 Smaller things: