What's Changed

• ci: bump actions/checkout from 6 to 7 by @dependabot[bot] in #1
• ci: bump actions/cache from 4 to 6 by @dependabot[bot] in #2
• Dev by @a9lim in #4
• Dev by @a9lim in #5

New Contributors

• @dependabot[bot] made their first contribution in #1

Full Changelog: v1.0.1...v2.0.0

What's Changed

• Dev by @a9lim in #3

New Contributors

• @a9lim made their first contribution in #3

Full Changelog: v1.0.0...v1.0.1

First public release. Binary lambda calculus engine for algorithmic information theory: exhaustive term censuses 4..41 bits, the first BBλ(41) bound, exact Ω bracketing, 297 kernel-checked divergence certificates (Lean 4, zero sorries), and the qBLC quantum operator census. On crates.io as blam; AGPL-3.0-or-later.

Full Changelog: https://github.com/a9lim/blam/commits/v1.0.0