Набагато коротша версія, дозволяючи пункти «з»:
Taelin
Taelin7 груд., 01:14
Без особливої причини — повністю лінійний (не просто афінний) тип. Це означає, що на кожному клаузі компоненти lhs використовуються в rhs рівно один раз.
або без них із пунктами
6,1K