gargamelle-logic-0.1.0.0: CHANGELOG.md

# Changelog for gargamelle-logic

## 0.1.0.0 — Initial Release

- Pure syntax, defunctionalized arrows, order theory, and refinement calculi.
- Signature definitions and syntax AST representations.
- Galois connections, behavioral contracts, holes, and MPST session types.