# \#terminterface

**URL:** https://discourse.julialang.org/tag/terminterface/1468.md

[Latest](https://discourse.julialang.org/latest.md) · [Categories](https://discourse.julialang.org/categories.md) · [Tags](https://discourse.julialang.org/tags.md)

---

## [Using latest TermInterface for custom types in MetaTheory](https://discourse.julialang.org/t/using-latest-terminterface-for-custom-types-in-metatheory/116885)

<div class="topic-metadata">

**Author:** [@wgm](https://discourse.julialang.org/u/wgm)\
**Replies:** 2\
**Last updated:** [July 10, 2024, 10:50pm UTC](https://discourse.julialang.org/t/using-latest-terminterface-for-custom-types-in-metatheory/116885 "2024-07-10T22:50:10Z")

</div>

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 lates…

---

## [Q: Using TermInterface to set up Metatheory](https://discourse.julialang.org/t/q-using-terminterface-to-set-up-metatheory/106480)

<div class="topic-metadata">

**Author:** [@Audrius-St](https://discourse.julialang.org/u/Audrius-St)\
**Replies:** 0\
**Last updated:** [November 20, 2023, 6:22pm UTC](https://discourse.julialang.org/t/q-using-terminterface-to-set-up-metatheory/106480 "2023-11-20T18:22:43Z")

</div>

While I have been using Symbolics and SymbolicUtils for some time now , I am a novice in the use of Metatheory. My first attempt to set up Metatheory using TermInterface as described in the documentation is opened as an…