Skip to content

Rename "modular extensions" to "Jane syntax"/"modular syntax"#1395

Merged
goldfirere merged 1 commit intoocaml-flambda:mainfrom
antalsz:rename-modular-syntax
May 18, 2023

Commits

Commits on May 17, 2023