Domů Procházet Nápověda
Přihlásit se
taddeus
/
trs
1
0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Strom: fc74767438
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Taddeus Kroes 42662f455b Changed negation precedence to that of subtraction and modified rules+tests correspondingly. před 14 roky
  Taddeus Kroes efc3c91bf6 Added non-strict equivalence match. před 14 roky
  Taddeus Kroes 2f75e39901 Implemented and tested factor decomposition (expand). před 14 roky
  Taddeus Kroes 8f9717d512 Moved factors rewrite rules to separate file. před 14 roky