Download Latest Version Bend 2.0.34 source code.zip (60.0 MB) Google Add to Preferred Sources
Home / v2.0.30
Name Modified Size InfoDownloads / Week
Parent folder
bend-2.0.30-darwin-arm64.tar.gz 2026-09-27 23.8 MB
0
bend-2.0.30-darwin-x64.tar.gz 2026-09-27 26.7 MB
0
bend-2.0.30-linux-arm64.tar.gz 2026-09-27 35.9 MB
0
bend-2.0.30-linux-x64.tar.gz 2026-09-27 36.2 MB
0
Bend 2.0.30 source code.tar.gz 2026-09-27 32.2 MB
0
Bend 2.0.30 source code.zip 2026-09-27 32.8 MB
0
README.md 2026-09-27 1.5 kB
0
Totals: 7 Items   187.6 MB 0
  • bend f.bend --safe rechecks a file with a proven kernel: after bend's own checker, it translates the file to BendTT (f.bendtt) and checks that with bend2/bendtt.lean, a small kernel with a Lean proof that no def it accepts has type Empty and that live code halts. The first run builds the kernel with Lean v4.34.0 (elan's toolchain, or $BENDTT names a built one). @unsafe defs stay out of scope, and --safe lists them. -o f.bendtt only writes the translation.
  • The kernel has full J: a rewrite's motive can name the evidence.
  • base.bend: the Array.get, Array.swap and Map helpers recurse on their own pieces, so the kernel checks them; a few .if/.bit/.deep helpers and five laws are gone.
  • The BendTT paper (paper/BendTT.pdf) is rewritten for the new kernel; bend2/bend.lean is gone, and bend2/bendtt.lean is the only Lean file.

Install: curl -fsSL https://bend-lang.com/install.sh | sh (or Homebrew: brew install bendlang/bend/bend, or Nix: nix profile install github:bendlang/bend).

sha256:

  • 3ed6d68b009859f5fd26d3221f0d68eb347206382bb2baeacabc48e13af141a0 bend-2.0.30-darwin-arm64.tar.gz
  • 598a2675247eaea15b9023a0f9a8f2e4ec359ce5a8b439879fbbc3be08645b4f bend-2.0.30-darwin-x64.tar.gz
  • a43388b0a0185bdb90aec670d514a70d0ae4f240bfb223b1684f8cdb092bd33e bend-2.0.30-linux-arm64.tar.gz
  • 3a2d23c21d2ede59e75c7c4255fe37cca57de835a4897896d2ea69c97f741eaa bend-2.0.30-linux-x64.tar.gz
Source: README.md, updated 2026-09-27