Skip to content

Use constant terms as identifiers in names and variables#1281

Draft
Halbaroth wants to merge 7 commits into
OCamlPro:nextfrom
Halbaroth:use-term-cst-in-mdl
Draft

Use constant terms as identifiers in names and variables#1281
Halbaroth wants to merge 7 commits into
OCamlPro:nextfrom
Halbaroth:use-term-cst-in-mdl

Try to avoid collision in Id.hash

7c04389
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs