Is there an example of using TermInterface v2.0 with the ale/3.0 branch of MetaTheory for working with custom types? I’m looking for something like Interfacing with Metatheory.jl · Metatheory.jl that works with the latest TermInterface. If not, pointers here to get me started would be great. Thanks in advance!
Have you taken a look at the TermInterface.jl documentation already?
I have yes, but I’m not sure how to use it to implement custom types in Metatheory.