factor/basis/sorting
Doug Coleman 8bc3c09050 Human sort is unusable with pegs (too slow). Make a case-insensitive version humani<=> 2010-09-20 23:44:12 -05:00
..
functor trivial factoring 2009-08-17 18:59:03 -05:00
human Human sort is unusable with pegs (too slow). Make a case-insensitive version humani<=> 2010-09-20 23:44:12 -05:00
insertion generalize stack effects so we can bootstrap with the stricter stack effect checking 2010-03-08 23:38:10 -08:00
slots Don't rely on integers as sequences for unit tests 2010-01-15 07:15:36 +13:00
title fix using, make sure article-only title sort works 2009-05-26 12:01:28 -05:00