Update to latest TermInterface.jl 0.2 version and Rewriters 0.1.1

JuliaSymbolics / SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

https://docs.sciml.ai/SymbolicUtils/stable/

Other

545 stars 114 forks source link

Update to latest TermInterface.jl 0.2 version and Rewriters 0.1.1 #359

Closed 0x0f0f0f closed 3 years ago

0x0f0f0f commented 3 years ago

Added exprhead for allowing the Metatheory.jl pattern matchers to work seamlessly on any kind of symbolic type. Added unsorted_arguments and updated similarterm to support it

0x0f0f0f commented 3 years ago

Done