From 121a6a376209de3f5a9474bf03721e2032a73e01 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 13 May 2024 11:00:47 -0500 Subject: initial commit --- .ocamlformat | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .ocamlformat (limited to '.ocamlformat') diff --git a/.ocamlformat b/.ocamlformat new file mode 100644 index 0000000..6bf68c9 --- /dev/null +++ b/.ocamlformat @@ -0,0 +1,3 @@ +profile = janestreet +parse-docstrings = true +let-binding-spacing = sparse -- cgit v1.2.3