Skip to content

LeanDB 0.3.1

Choose a tag to compare

View all tags
@hargup hargup released this 14 Sep 07:16
· 194 commits to main since this release
v0.3.1
ad8d7f3

LeanDB 0.3.1 adds a practical documentation set and cleans up the examples.

  • Read the core concepts guide, glossary, and roadmap.
  • The README is shorter and includes the architecture diagram. Example READMEs replace the old CLI transcripts.
  • The old proposal directory and the Gpus, Kernels, and Pricewatch examples have been removed. Release checks now cover the remaining packages.
  • This release also includes the typed HTTP client integration and pinned dashboard dependency added after the 0.3.0 tag. HTTP clients use the separate leandb-http adapter.

Lean 4.33.0 and the pinned SQLite dependency are unchanged.

Validation: the full release check passed, the guide's Lean examples compile, and all 48 local documentation links resolve.

Assets 2
Loading