TODO
changeset 2050 8bd75f2fd7b0
parent 2045 6800fcaafa2a
child 2383 83f1b16486ee
--- a/TODO	Tue May 04 16:17:46 2010 +0200
+++ b/TODO	Tue May 04 16:18:07 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: