version beaucoup plus courte en permettant des clauses 'with' :
Taelin
Taelin7 déc., 01:14
Sans raison particulière, un tri entièrement linéaire (pas seulement affine). Cela signifie que, pour chaque clause, les composants du lhs sont utilisés dans le rhs exactement une fois.
ou sans clauses avec
6,1K