gargamelle-core-0.1.0.0: CHANGELOG.md

# Changelog for gargamelle-core

## 0.1.0.0 — Initial Release

- Core Institution class and categorical colimits for Gargamelle.
- Universal categorical pushouts and Grothendieck topologies.
- Institutional satisfaction conditions and CEGIS synthesis loops.