alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard
verified publisher icon OCamlPro

Style guide?

Open bclement-ocp opened this issue 2 years ago • 0 comments

Would be good/useful to have one. https://ocaml.org/docs/guidelines might be a starting point.

Related but not limited to #634 (while #634 can take care of the low-level details, there are still high-level points that should be codified/agreed upon e.g. regarding naming and structure)

bclement-ocp avatar Nov 22 '23 18:11 bclement-ocp