1
I Use This!
Very High Activity

Commits : Listings

Analyzed 1 day 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
ebnf/data: lower the `null` EOF rule, and hoist the visitor helpers More... 2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf-data More... 2 months ago
ebnf: spell EOF as null, so number means a symbol More... 2 months ago
ebnf/data: refuse a non-array info, say why the set is abstract, cut bnf links More... 2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf-data More... 2 months ago
ebnf/ast: EOF contributes no leaf More... 2 months ago
ebnf/data: refuse a hole in a front-end sequence, and pin two proof literals More... 2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf-data More... 2 months ago
ebnf/lib/datajs: keep a statement's arity in its type More... 2 months ago
ebnf/data: refuse a front-end branch that is explicitly `undefined` More... 2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf-data More... 2 months ago
ok More... 2 months ago
ebnf/data: refuse a field past a fixed arity in a hand-written info tuple More... 2 months ago
ok More... 2 months ago
numbers More... 2 months ago
ebnf/data: check the carrier where the tag is read, and reference types More... 2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf-data More... 2 months ago
ok More... 2 months ago
ok More... 2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf-data More... 2 months ago
update More... 2 months ago
Merge remote-tracking branch 'origin/ebnf-data' into ebnf-data More... 2 months ago
ebnf/data: refuse a tag nothing spells, and read only own entries More... 2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf-data More... 2 months ago
Merge branch 'ebnf2' into ebnf-data More... 2 months ago
docs: record that repeatFrom0 and repeatFrom1 are named partial applications More... 2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf-data More... 2 months ago
ebnf/data: the serializable EBNF grammar More... 2 months ago
ebnf/ast: say what a variant's AST is in the module doc More... 2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf2 More... 2 months ago