Commits

Commits on Sep 30, 2026

Fix: reject --verdict with --publish on the CLI (#1199)
vicmcorrea
authored
7d24b8d
A datatype with no constructors goes to BendTT with D.efq : D -> <>, so the kernel checks that bend2's empty is BendTT's empty (#1183) (#1221)

nicolas-abril
and
claude
authored
1adb0a6

Commits on Sep 29, 2026

A specialized argument goes to --verdict where it is used, at that depth, liveness and type, so its binders take no enclosing level (#1168, #1178)

nicolas-abril
and
claude
committed
0187512
The kernel's proofs say the same in fewer tokens, and check a little faster (#1192)

nicolas-abril
and
claude
authored
dfeb0c5
A match inside a type goes to --verdict at the goals bend2 checked it at, so an erased field binds dead and a field's type reaches its arm (#1157)

nicolas-abril
and
claude
committed
eb8f58b
A published file goes without a leading byte order mark, so a package whose LICENSE was saved with one imports (#1188)

Lorenzobattistela
and
claude
authored
68f870e
The host grows its column to a row per thread, so a 10-thread pool drains 80 units, not 16 (#1171)

nicolas-abril
and
claude
authored
3ffc1f9
The flake names 2.0.34

VictorTaelin
and
claude
committed
777ee0b
Bend 2.0.34: a shared graph is compared once (#1071, PR #1151 by Giulio2002)

committed
7d8a3eb
The flake names 2.0.33

VictorTaelin
and
claude
committed
ed4ec4e
Bend 2.0.33: two copies of one term are equal before either unfolds (#1071, PR #1151 by Giulio2002)

committed
c05efd9

Commits on Sep 28, 2026

Commits on Sep 27, 2026