Slava Pestov c8360f5ae5 Rename curry* to with		2008-01-09 17:36:30 -05:00
..
authors.txt	Initial import	2007-09-20 18:09:08 -04:00
summary.txt	Initial import	2007-09-20 18:09:08 -04:00
timers-docs.factor	Initial import	2007-09-20 18:09:08 -04:00
timers.factor	Rename curry* to with	2008-01-09 17:36:30 -05:00