5 Commits (64e8f1872c93966659984578e3044040d03101dc)

Author	SHA1	Message	Date
Joe Groff	ef192d43ba	nip most uses of tuck from extra	2009-11-05 22:22:21 -06:00
Joe Groff	ad47fde94b	remove most uses of roll/-roll from extra	2009-10-30 14:14:24 -05:00
Slava Pestov	198b1a0d56	Clean up quadratic	2008-06-14 04:01:07 -05:00
Slava Pestov	667f26249e	Small fixes	2007-11-04 22:51:34 -05:00
Slava Pestov	a96457cecc	Initial import	2007-09-20 18:09:08 -04:00