| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| bend-2.0.34-darwin-arm64.tar.gz | 2026-09-29 | 23.8 MB | |
| bend-2.0.34-darwin-x64.tar.gz | 2026-09-29 | 26.7 MB | |
| bend-2.0.34-linux-arm64.tar.gz | 2026-09-29 | 35.9 MB | |
| bend-2.0.34-linux-x64.tar.gz | 2026-09-29 | 36.2 MB | |
| Bend 2.0.34 source code.tar.gz | 2026-09-29 | 59.3 MB | |
| Bend 2.0.34 source code.zip | 2026-09-29 | 60.0 MB | |
| README.md | 2026-09-29 | 991 Bytes | |
| Totals: 7 Items | 241.9 MB | 0 | |
- A shared graph is compared once (#1071, PR [#1151] by Giulio2002):
when conversion proves two share cells equal, the second points at the
first, so a value used twice on each side is compared once, not walked
as a tree. Two Merkle roots of depth 32 over a symbolic leaf, proven
equal by
{==}, check in 0.07 s (they took 2^32 steps).--verdict's kernel does not share yet and runs out of fuel on such a proof.
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:
- a60c820c0ced758d8ace839507ff6c508a204ce4ef0f45e1089ed7bc73e8c267 bend-2.0.34-darwin-arm64.tar.gz
- 066d4a07a1871a2946be8f42f926582bfda5f13ff728c234ffe79635bd240650 bend-2.0.34-darwin-x64.tar.gz
- 416a17d282a9fd05ab9637a238b51d5ca508114d9773c37d1c11cad595440ed1 bend-2.0.34-linux-arm64.tar.gz
- 78106a97af242429dcc057258eb8d10f69cddebcd5e263022185a52d003e09bf bend-2.0.34-linux-x64.tar.gz