versione molto più breve consentendo le clausole 'with':
Taelin
Taelin7 dic, 01:14
Senza alcun motivo speciale, un ordinamento completamente lineare (non solo affine). Ciò significa che, in ogni clausola, i componenti lhs vengono utilizzati nel rhs esattamente una volta.
o senza clausole con
6,1K