All pull requests

Pull requests

• 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·

  ·

• The compiler says the same in fewer tokens, with the same output

  #1230·wakamex opened Oct 1, 2026·

  ·

• A def at a type that recurs through its own arrow checks instead of hanging (#1206)

  #1228·Lorenzobattistela opened Sep 30, 2026Collaborator·

  ·
  1

• A scrutinee that can't be matched in its position says so, and lists why (#1134)

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

  ·
  1

  2

• 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

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

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

  ·
  1

• Track unsafe dependencies in datatype kinds (#1205)

  #1220·oxura opened Sep 30, 2026Contributor·

  ·
  1

  1

• Support equality-proof arrays in JS and C (#1130)

  #1219·oxura opened Sep 30, 2026Contributor·

  ·
  1

  1

• Bound BendTT model search and retain finite alternatives (#1181)

  #1218·oxura opened Sep 30, 2026Contributor·

  ·
  1

  1

• A command whose reader has left still exits with its verdict #1211

  #1217·mizchi opened Sep 30, 2026·

  ·
  1

• Keep distinct Bend names distinct in BendTT labels (#1131)

  #1216·oxura opened Sep 30, 2026Contributor·

  ·
  1

  1

• Resolve BendTT recursive groups by membership (#1212)

  #1215·oxura opened Sep 30, 2026Contributor·

  ·
  1

  1

• A closed pipe reader does not turn a CLI failure into success (#1211)

  #1214·oxura opened Sep 30, 2026Contributor·

  ·
  1

• --check-only skips the modules an earlier run checked (BEND_CACHE=<dir>)

  #1209·Giulio2002 opened Sep 30, 2026Contributor·

  ·
  2

• Which parameters are specialized is a least fixpoint, so --verdict specializes a cycle of items the same in any declaration order (#1179)

  #1208·nicolas-abril opened Sep 29, 2026Collaborator·

  ·
  1

  1

• Self hosted bend

  #1207·rom1504 opened Sep 29, 2026·

  ·
  6

• BendTT: kinds as quantity terms, meets and Σ at any kind; --verdict emits generic defs

  #1203·nicolas-abril opened Sep 29, 2026Collaborator·

  ·

• --verdict: split a root stuck on a constant at the constructors it reads (#1175)

  #1201·nicolas-abril opened Sep 29, 2026Collaborator·

  ·
  1

• 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

• io: IO.random_u32 answers Fail on the JS lane instead of ending the run

  #1198·Yi-111-a opened Sep 29, 2026Contributor·

  ·
  1

• fix(compiler): avoid expanding shared display layouts

  #1196·vicmcorrea opened Sep 29, 2026Contributor·

  ·

• The kernel walks a bound value only when the body copies it

  #1185·bkase opened Sep 29, 2026·

  ·

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

  #1173·nicolas-abril opened Sep 28, 2026Collaborator·

  ·
  1

• Chan.try_send and Chan.try_recv answer at once: the send and receive that do not wait, shared with Chan.send and Chan.recv

  #1162·aldeni opened Sep 28, 2026Contributor·

  ·
  2

  

• A file's names are keyed ns:name inside the compiler, so no declaration lands in another file's namespace and a foreign CID(None) keeps meaning Base's None (#1045)

  #1156·nicolas-abril opened Sep 28, 2026Collaborator·

  ·
  1