This website works better with JavaScript
Domů
Procházet
Nápověda
Přihlásit se
taddeus
/
trs
Sledovat
1
Oblíbit
0
Rozštěpit
0
Soubory
Úkoly
0
Pull Requesty
0
Wiki
Strom:
f4ab8d7b1b
Větve
Značky
breadth_first
develop
master
validation
Historie revizí
Hledat
Autor
SHA1
Zpráva
Datum
Taddeus Kroes
28644d89bd
Instead of to the outside, negations in multiplications are now brought to the left.
před 14 roky
Taddeus Kroes
9419b2b185
Added some messages and comments to negation rules.
před 14 roky
Taddeus Kroes
8d6d4788ac
Removed match_negate_group, replaced it with some more generic rules.
před 14 roky
Taddeus Kroes
f5d48c9931
Applied usage of __pos__ operators in some unit tests.
před 14 roky
Taddeus Kroes
998325838c
Added negated division rewrite rules.
před 14 roky