diff --git a/hw3/.gitignore b/hw3/.gitignore new file mode 100644 index 0000000..65c6848 --- /dev/null +++ b/hw3/.gitignore @@ -0,0 +1,6 @@ +.vscode +_build +bin/main.exe +oatc +ocamlbin +*~ \ No newline at end of file