v0.7.11

Full Changelog: v0.7.10...v0.7.11

v0.7.10

Full Changelog: v0.7.9...v0.7.10

v0.7.9

Full Changelog: v0.7.8...v0.7.9

v0.7.8

Full Changelog: v0.7.7...v0.7.8

v0.7.7

What's Changed

• docs: link grip-json consumer by @jonaprieto in #35

Full Changelog: v0.7.6...v0.7.7

v0.7.6

What's Changed

• build: pin newest first-party releases by @jonaprieto in #34

Full Changelog: v0.7.5...v0.7.6

v0.7.5

What's Changed

• docs: standardize README review guidance by @jonaprieto in #28
• docs: add related project gallery by @jonaprieto in #29
• docs: move project gallery to gist by @jonaprieto in #30
• fix(repl): support metis stdin and report expansion by @jonaprieto in #31
• refactor(repl): use a translation error transformer by @jonaprieto in #32
• chore(release): prepare v0.7.5 by @jonaprieto in #33

Full Changelog: v0.7.4...v0.7.5

v0.7.4

What's Changed

• docs: sync related project links by @jonaprieto in #26
• chore(release): set version 0.7.4 by @jonaprieto in #27

Full Changelog: v0.7.3...v0.7.4

v0.7.3

What's Changed

• docs: classify operational partiality by @jonaprieto in #25

Full Changelog: v0.7.2...v0.7.3

v0.7.2

What's Changed

• build: adopt Lean v4.33.0 by @jonaprieto in #23
• build: adopt precommit-lean v0.1.6 by @jonaprieto in #24

Full Changelog: v0.7.1...v0.7.2