v4.0.6
What's Changed
- build: adopt Lean v4.33.0 by @jonaprieto in #51
- refactor: totalize AST dump recursion by @jonaprieto in #52
- build: adopt precommit-lean v0.1.6 by @jonaprieto in #53
Full Changelog: v4.0.4...v4.0.6
Full Changelog: v4.0.4...v4.0.6