Skip to content

Activity

Showing most recent first

Meta: Update slides link in the README

gibson042pushed 1 commit to master • b3464d2…2b35a5e • 
on Sep 26, 2023

fixup: [spec] npm run build

github-actions[bot]pushed 1 commit to master • c448ee1…b3464d2 • 
on Sep 26, 2023

Normative: Correctly capture a number negation prefix

Pull request merge
gibson042pushed 1 commit to master • f2305b8…c448ee1 • 
on Sep 26, 2023

fixup: [spec] npm run build

github-actions[bot]pushed 1 commit to master • e9481f7…f2305b8 • 
on Sep 18, 2023

Editorial: Rename new SDO to distinguish it from grammar nonterminals

Pull request merge
gibson042pushed 1 commit to master • dec345c…e9481f7 • 
on Sep 18, 2023

fixup: [spec] npm run build

github-actions[bot]pushed 1 commit to master • 513f373…dec345c • 
on Sep 18, 2023

Normative: Suppress source text for JSON parse data modified before a…

Pull request merge
gibson042pushed 1 commit to master • cb6b983…513f373 • 
on Sep 18, 2023