viel kürzere Version durch die Verwendung von 'with'-Klauseln:
Taelin
Taelin7. Dez., 01:14
Ohne besonderen Grund eine vollständig lineare (nicht nur affine) Sortierung. Das bedeutet, dass in jeder Klausel die lhs-Komponenten im rhs genau einmal verwendet werden.
oder ohne mit Klauseln
6,1K