Using latest TermInterface for custom types in MetaTheory

wgm
Wed, 10 Jul 2024 21:45:38 +0000
Modelling & Simulations

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!

3 posts - 2 participants

Read full topic