Commits

Commit history

1. Commits on Oct 22, 2026

   • BendTT: adequacy, a checked law holds at each closed instance (#1627)

     Show description for b8664b0
     

     3 peopleauthored
     b8664b0View commit details

     Copy full SHA for b8664b0

     View code at this pointBrowse repository at this point
2. Commits on Oct 14, 2026

   • The kernel checks a self-call's descent against the column's pattern, as bend2's term_descend does, so a constructor rebuilt around a smaller part of its input descends (#1167) (#1200)

     Show description for 1b68fd8
     

     3 peopleauthored
     1b68fd8View commit details

     Copy full SHA for 1b68fd8

     View code at this pointBrowse repository at this point
3. Commits on Oct 5, 2026

   • BendTT converts a λ+ as a λ: a q=2 binder says how a λ runs, not what it is (#1189) (#1224)

     Show description for 53fc961
     

     nicolas-abril

     and

     claude

     authored
     53fc961View commit details

     Copy full SHA for 53fc961

     View code at this pointBrowse repository at this point

   • BendTT: kinds as quantity terms, meets, Σ at any kind and subsumption under ∀; --verdict emits generic defs once (#1203)

     Show description for ffeddf0
     

     nicolas-abril

     and

     claude

     authored
     ffeddf0View commit details

     Copy full SHA for ffeddf0

     View code at this pointBrowse repository at this point
4. Commits on Sep 27, 2026

   • Bend 2.0.32: the issue triage, root fixes, one verdict everywhere

     Show description for 573002f
     

     7 peoplecommitted
     573002fView commit details

     Copy full SHA for 573002f

     View code at this pointBrowse repository at this point

   • BendTT: bendtt.lean replaces bend.lean; full J in the kernel; -o .bendtt; docs and paper

     Show description for 27dc2f6
     

     VictorTaelin

     and

     claude

     committed
     27dc2f6View commit details

     Copy full SHA for 27dc2f6

     View code at this pointBrowse repository at this point
5. Commits on Sep 21, 2026

   • Add coauthors to BendTT and BendRT papers

     nicolas-abril

     committed
     e52cda4View commit details

     Copy full SHA for e52cda4

     View code at this pointBrowse repository at this point
6. Commits on Sep 18, 2026

   • The papers' AI disclosure ends with: Human paper soon™

     VictorTaelin

     committed
     0b7e2b1View commit details

     Copy full SHA for 0b7e2b1

     View code at this pointBrowse repository at this point
7. Commits on Sep 17, 2026

   • BendTT's abstract ends on a full line

     VictorTaelin

     committed
     076bf62View commit details

     Copy full SHA for 076bf62

     View code at this pointBrowse repository at this point

   • Launch cleanup: one check law, honest telemetry, fair twins, Slash Boss

     Show description for 87ce0a0
     VictorTaelin

     committed
     87ce0a0View commit details

     Copy full SHA for 87ce0a0

     View code at this pointBrowse repository at this point
8. Commits on Sep 8, 2026

   • docs/ splits into three top-level dirs: guide/ (GUIDE.md), paper/ (BendTT.pdf, BendRT.pdf) and media/ (intro.gif, intro.mp4, checker.svg, single_core.svg; the old docs/assets). Every path that name…

     Show description for 07a28d6
     VictorTaelin

     committed
     07a28d6View commit details

     Copy full SHA for 07a28d6

     View code at this pointBrowse repository at this point
9. Loading