Open hammerfunctor opened 1 year ago
Hi everyone. In a recent routine update I noticed that Metatheory dependence is removed. I searched over this repo and Symbolics.jl but found few explanations. Can anyone give some clues on this choice of route? Thanks!
Metatheory
Symbolics.jl
I don’t know the details but it’s discussed a bit here: https://github.com/JuliaFolds/MicroCollections.jl/pull/18#issuecomment-1382195538
Hi everyone. In a recent routine update I noticed that
Metatheory
dependence is removed. I searched over this repo andSymbolics.jl
but found few explanations. Can anyone give some clues on this choice of route? Thanks!