| Fri, 20 Feb 2009 10:14:32 +0100 | haftmann | tuned and incremental version of wellsorting algorithm | changeset | files |
| Fri, 20 Feb 2009 10:14:32 +0100 | haftmann | ignore sorts in bare types | changeset | files |
| Fri, 20 Feb 2009 10:14:32 +0100 | haftmann | defensive implementation of pretty serialisation of lists and characters | changeset | files |