[Push] Push names

[Lee Spector]

Some thoughts on an idea for a change to the implementation of names in Push, on which I'd love feedback:

http://push.i3ci.hampshire.edu/2010/10/21/lexicographic-names/

 -Lee

--
Lee Spector, Professor of Computer Science
Cognitive Science, Hampshire College
893 West Street, Amherst, MA 01002-3359
lspector at hampshire.edu, http://hampshire.edu/lspector/
Phone: 413-559-5352, Fax: 413-559-5438