1
I Use This!
Very High Activity

Commits : Listings

Analyzed about 21 hours ago. based on code collected 2 days ago.
Nov 13, 2025 — Nov 13, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
edag: document why undefined is excluded from primitive More... 3 months ago
edag: call arguments are one array-valued node — fix .()/() docs; scope the proof claim to validation More... 3 months ago
edag: fix remaining stale references and typos from review More... 3 months ago
edag: move per-node contract into export JSDoc, qualify the type pin as closed-tuple approximate More... 3 months ago
edag: README — hash is as-written (no normal form), split validate/parse identity caveats More... 3 months ago
ok More... 3 months ago
edag: add README — node forms, schema/type/proof layout, caveats More... 3 months ago
edag: mark optional_chaining.md as scratches pending investigation More... 3 months ago
edag: flag chain-wide short-circuit propagation as unresolved More... 3 months ago
effects/node: childReadAny ends only when both streams do More... 3 months ago
edag: mark changelog breaking, fix unbind example, flag ?? collision More... 3 months ago
edag: format optional_chaining.md as a proper todo issue More... 3 months ago
ok More... 3 months ago
Merge branch 'main' into edag8 More... 3 months ago
edag: add changelog entry for the Op0 consolidation More... 3 months ago
edag: consolidate op0, fix Check3 regression, remove dead undefinedOp More... 3 months ago
Merge branch 'main' into effects/node-spawn-todo More... 3 months ago
tfn More... 3 months ago
ok More... 3 months ago
optional chaining More... 3 months ago
edag: consolidate unary/binary ops into UnaryOp/BinaryOp (#1660) More... 3 months ago
effects/node: every operation now says how it terminates More... 3 months ago
edag: cover the new !/~ unary ids in proof.f.mjs and the changelog More... 3 months ago
Merge branch 'edag7' into edag8 More... 3 months ago
!~ More... 3 months ago
ok More... 3 months ago
Merge branch 'edag7' into edag8 More... 3 months ago
edag: rewrite proof.f.mjs for unaryOp/binaryOp, fix stale call refs More... 3 months ago
ok More... 3 months ago
ok More... 3 months ago