Remove special case for delta binding since VTX is removed

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

Closed RoukayaZaki closed 1 month ago

RoukayaZaki commented 3 months ago

Fixes #176

This PR focuses on improving the equalBinding function in Common.hs.

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

deemp commented 2 months ago

@RoukayaZaki, please push a commit (possibly empty) to trigger the CI again.