gargamelle-equational-0.1.0.0: CHANGELOG.md

# Changelog for gargamelle-equational

## 0.1.0.0 — Initial Release

- Equational logic institution and presheaf DPO rewriting engine.
- Categorical double pushout graph and term rewriting.
- Confluence and termination checking infrastructure.