diff --git a/.gitignore b/.gitignore index 69fa449..b4d0dc9 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,2 @@ _build/ +input.txt diff --git a/.ocamlformat b/.ocamlformat new file mode 100644 index 0000000..8a3b53e --- /dev/null +++ b/.ocamlformat @@ -0,0 +1 @@ +version = 0.26.2 diff --git a/.vscode/settings.json b/.vscode/settings.json new file mode 100644 index 0000000..e13468a --- /dev/null +++ b/.vscode/settings.json @@ -0,0 +1,17 @@ +{ + "[ocaml]": { + "editor.tabSize": 2, + "editor.rulers": [ + 80 + ], + "editor.formatOnSave": true + }, + "[ocaml.interface]": { + "editor.tabSize": 2, + "editor.rulers": [ + 80 + ], + "editor.formatOnSave": true + }, + "sarif-viewer.connectToGithubCodeScanning": "off" +} \ No newline at end of file