All pull requests

Pull requests

• Read native map-key bits without rebuilding the key

  #1725·oxura opened Oct 18, 2026Contributor·

  ·
  1

• Let ready IO yield without shifting JS channel queues

  #1723·oxura opened Oct 18, 2026Contributor·

  ·
  4

• Simplify safe.ts and recover its token budget

  #1718·sebastian-griego opened Oct 18, 2026Contributor·

  ·

• fix(checker): bare constructor pattern on an imported datatype must not silently bind

  #1717·adeerkhan opened Oct 18, 2026·

  ·
  1

• perf(c): lower Nat.pow, U32.log2 and Map.msb.u to native C intrinsics

  #1715·adeerkhan opened Oct 18, 2026·

  ·
  1

• Keep foreign-only functions reachable and preserve host identifier boundaries

  #1714·oxura opened Oct 18, 2026Contributor·

  ·
  2

• Use checked native paths for Nat powers and bit widths

  #1713·oxura opened Oct 18, 2026Contributor·

  ·
  3

• fix(bendtt): distinguish free variables in diagnostics

  #1707·vicmcorrea opened Oct 18, 2026Contributor·

  ·

• test(gates): check comptime C equivalence

  #1705·vicmcorrea opened Oct 18, 2026Contributor·

  ·

• fix(safe): consume the full shared group prefix

  #1704·sebastian-griego opened Oct 18, 2026Contributor·

  ·

• perf(io): avoid redundant codec and byte-buffer allocations

  #1698·oxura opened Oct 18, 2026Contributor·

  ·
  1

• Keep unsigned zero positive in JS U32.to_f32

  #1693·oxura opened Oct 18, 2026Contributor·

  ·
  1

• fix(cli): complete short output writes

  #1691·toprameen opened Oct 18, 2026Contributor·

  ·

• fix(cli): protect HTML bundle inputs

  #1690·toprameen opened Oct 17, 2026Contributor·

  ·

• demos: proof_userland_tactics — a tactic from userland

  #1684·Kampouse opened Oct 17, 2026·

  ·
  1

• fix(audio): count complete frames in JS Audio.write

  #1683·toprameen opened Oct 17, 2026Contributor·

  ·

• Use native JS paths for Base text, numbers and map keys

  #1682·oxura opened Oct 17, 2026Contributor·

  ·
  19

• Keep nested cases in their match after a dedented body

  #1672·oxura opened Oct 17, 2026Contributor·

  ·
  1

• perf(io): remove expired native channel waiters in constant time

  #1671·sebastian-griego opened Oct 17, 2026Contributor·

  ·

• A λ rebuilt as a match keeps its annotations on its own binders, so --verdict checks what bend2 checks (#1669)

  #1670·aaaxn opened Oct 17, 2026Contributor·

  ·
  1

• A term η-expanded under a new λ keeps its annotations on its own binders, so --verdict checks what bend2 checks (#1665)

  #1666·aaaxn opened Oct 17, 2026Contributor·

  ·
  1

• perf(js): use host repetition for String.repeat

  #1664·oxura opened Oct 17, 2026Contributor·

  ·
  1

• perf(js): convert Array.to_list without slicing the flat array

  #1662·oxura opened Oct 17, 2026Contributor·

  ·
  1

• feat(base): Byte and Word16, with byte conversions for U32 (draft, for consideration)

  #1660·ScottMoore0 opened Oct 17, 2026Contributor·

  ·

• perf(js): scan only the whitespace suffix in String.trim_end

  #1659·oxura opened Oct 17, 2026Contributor·

  ·
  1