v0.6.0

Metatheory v0.6.0

Diff since v0.5.0

• Faster e-matching! 🚀
• Updated TermInterface.jl and pattern matchers to support exprhead.

Closed issues:

• Match on :: and ... (and optionally where) without triggering special ematching functions. (#12)
• @when macro for conditional dynamic rules (#26)
• Metatheory incorrectly merges e-classes? (#74)

Merged pull requests:

• Improve pattern display. (#73) (@MrVPlusOne)