Skip to content

Parser: tweak grammar to expose a rule useful to Pulse#3764

Merged
mtzguido merged 1 commit intoFStarLang:masterfrom mtzguido:parser_tweakFeb 16, 2025

Commits

Commits on Feb 16, 2025