Code

Ale/3.0 new compact rule#206

Code

Merged

0x0f0f0f merged 4 commits intoale/3.0JuliaSymbolics/Metatheory.jl:ale/3.0from ale/3.0-new-compact-ruleJuliaSymbolics/Metatheory.jl:ale/3.0-new-compact-ruleCopy head branch name to clipboardMay 15, 2024

+173-282

Commits

Commits on May 14, 2024

• compact rules in single type

  

  a

  committed
  917509d

  Copy full SHA for 917509d

• make all tests green

  

  a

  committed
  3893800

  Copy full SHA for 3893800

Commits on May 15, 2024

• update rules file

  

  a

  committed
  fbc42e9

  Copy full SHA for fbc42e9

• rename

  

  a

  committed
  2c85584

  Copy full SHA for 2c85584