All pull requests

Pull requests

• JS Process.run parks on the child's pipes and exit, not Bun.spawnSync

  #1391·nicolas-abril opened Oct 7, 2026Collaborator·

  ·
  1

• adds bend-lint tool

  #1389·MattCozendey opened Oct 7, 2026Contributor·

  ·

• mat_lits compares a word match's default with its replay node by node, up to where they meet, not as two JSON strings

  #1387·Iann29 opened Oct 7, 2026·

  ·
  1

  

• compile_book emits a def again only when a fact it missed was added, so the passes after the first cost what changed, not the whole program

  #1386·Iann29 opened Oct 7, 2026·

  ·
  1

  

• Lift every JS continuation body into a standalone global function

  #1383·oxura opened Oct 7, 2026Contributor·

  ·
  1

  1

  

• Calls passing a source lambda run a specialized def with the lambda's captures as parameters

  #1356·nicolas-abril opened Oct 5, 2026Collaborator·

  ·
  1

• A Hypervisor for Bend in Bend

  #1342·GunnarZarncke opened Oct 5, 2026·

  ·

• fix(verdict): preserve Base-free large Nat literals

  #1337·oxura opened Oct 5, 2026Contributor·

  ·
  1

  4

• ty_holds walks a type family's body, so a bang over a pair no longer puts every closure on the device

  #1336·chaserelock opened Oct 5, 2026·

  ·
  2

  

• Preserve column-sensitive block layouts

  #1302·dearlordylord opened Oct 3, 2026·

  ·

• Simplify window image-depth calculation

  #1301·toprameen opened Oct 3, 2026Contributor·

  ·

• The ~ constants of a root take models that hold together, so a ~ law of a ~ function reaches the kernel (#1182)

  #1263·MuhDur opened Oct 1, 2026·

  ·
  1

  2

• feat(window): export references to owned X11 windows

  #1241·aivv73 opened Oct 1, 2026·

  ·
  1

• A copy met after an unfold converts before either copy unfolds (arguments compared rigid first, failures remembered on the cell)

  #1232·Giulio2002 opened Oct 1, 2026Contributor·

  ·
  1

• A def specialized at a finite parameter also goes to --verdict as a λ-match on it, to its instances, so the kernel checks that they cover it (#1186)

  #1225·nicolas-abril opened Sep 30, 2026Collaborator·

  ·
  1

  1

• Preserve canonical Bend names in injective BendTT labels (#1131, #1247)

  #1216·oxura opened Sep 30, 2026Contributor·

  ·
  2

  3

  

• 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·nicolas-abril opened Sep 29, 2026Collaborator·

  ·
  1

• Open resizable windows and deliver drawable-size events (#1021)

  later
  #1108·oxura opened Sep 27, 2026Contributor·

  ·
  1

  1