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: add changelog entry for the comparison operators More... 3 months ago
Merge branch 'main' into effects/node-spawn-todo More... 3 months ago
edag: add Ge (>=) More... 3 months ago
edag: add Lt (<) More... 3 months ago
edag: add the frame read-form; revert Fn's frame restriction (#1658) More... 3 months ago
Merge branch 'edag5' into edag6 More... 3 months ago
docs: fix Stage claim for => in edag-stage1-discussion.md More... 3 months ago
edag: add Gt (>), fix Neq import typo, add eq/neq/gt proof coverage More... 3 months ago
NEQ More... 3 months ago
eq More... 3 months ago
exp More... 3 months ago
edag: mark the Frame repurposing as a breaking change More... 3 months ago
docs: separate EDAG schema presence from compiler/interpreter scope More... 3 months ago
Merge branch 'main' into edag5 More... 3 months ago
edag: add changelog entry for Fn revert and the frame node More... 3 months ago
edag: add proof coverage for the new frame node More... 3 months ago
['frame'] More... 3 months ago
ok More... 3 months ago
Merge branch 'main' into effects/node-spawn-todo More... 3 months ago
edag: rewrite fn's proof for the reverted plain-exp shape More... 3 months ago
edag: document frameCtor's actual design (frame-construction expression) More... 3 months ago
ok More... 3 months ago
edag: add Comma and Fn nodes; introduce Check3 (#1657) More... 3 months ago
docs: sync interpret-edag and reuse-edag-operators with null frame, neg retag More... 3 months ago
edag: scope changelog to this PR, fix doc paths, disclose comma gap More... 3 months ago
edag: fix changelog's stale Fn/frame description More... 3 months ago
ok More... 3 months ago
an empty frame (for now) More... 3 months ago
edag: correct frame's shape to ['[]', []], not ['[]'] More... 3 months ago
edag: restrict fn's frame, fix stale neg comments/proof, changelog More... 3 months ago