diff --git a/.ocamlformat b/.ocamlformat new file mode 100644 index 0000000..9db5b95 --- /dev/null +++ b/.ocamlformat @@ -0,0 +1,13 @@ +version=0.27.0 +exp-grouping=preserve +break-infix=wrap-or-vertical +break-collection-expressions=wrap +break-sequences=false +break-infix-before-func=false +dock-collection-brackets=true +break-separators=before +field-space=tight +if-then-else=compact +break-sequences=false +sequence-blank-line=compact +exp-grouping=preserve diff --git a/dune-workspace b/dune-workspace new file mode 100644 index 0000000..34bc65f --- /dev/null +++ b/dune-workspace @@ -0,0 +1,8 @@ +(lang dune 3.0) +(context (default)) +(context (default + (name solo5) + (host default) + (toolchain solo5) + (merlin) + (disable_dynamically_linked_foreign_archives true)))