Эхлэл Бүгдийг харах Тусламж
Нэвтрэх
taddeus
/
trs
1
0
Салаа 0
Файлууд Асуудлууд 0 Хуулах хүсэлтүүд 0 Мэдлэгийн сан
Мод: 5abe4f7209
Салаанууд Тагууд

Коммит түүх

Эзэн SHA1 Мессеж Огноо
  Taddeus Kroes efc3c91bf6 Added non-strict equivalence match. 14 жил өмнө
  Taddeus Kroes 92f3a4e97f Added type check to ExpressionLeaf equality check. 14 жил өмнө
  Taddeus Kroes ad790a215b duplicate_exponent now supports n-ary multiplication. 14 жил өмнө
  Taddeus Kroes b0709085ac Added basic rewrite rules for powers. 14 жил өмнө