Skip to content

Missing changes around the renaming to "Jane syntax"#1400

Merged
antalsz merged 1 commit intoocaml-flambda:mainfrom
antalsz:minor-jane-syntax-renaming-fixes
May 22, 2023

Commits

Commits on May 22, 2023