v1.3.5
Metatheory v1.3.5
Closed issues:
Merged pull requests:
- Fixed a few typos (#127) (@pitmonticone)
- Minor optimizations and refactors (#128) (@0x0f0f0f)
- Bump docstring extensions (#131) (@ChrisRackauckas)
- CompatHelper: bump compat for TermInterface to 0.3, (keep existing compat) (#133) (@github-actions[bot])
- DocStringExtensions 0.9 (#140) (@chriselrod)