Initial commit

Guest0x0 · web-flow · commit afe0ab157e8f · 2022-09-28T14:10:36.000+08:00
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,29 @@
+*.annot
+*.cmo
+*.cma
+*.cmi
+*.a
+*.o
+*.cmx
+*.cmxs
+*.cmxa
+
+# ocamlbuild working directory
+_build/
+
+# ocamlbuild targets
+*.byte
+*.native
+
+# oasis generated files
+setup.data
+setup.log
+
+# Merlin configuring file for Vim and Emacs
+.merlin
+
+# Dune generated files
+*.install
+
+# Local OPAM switch
+_opam/
diff --git a/README.md b/README.md
@@ -0,0 +1,2 @@
+# pruning-tutor
+a tutorial implementation on an elaborator of a dependently typed language with pruning

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+# pruning-tutor`
	`2`	`+a tutorial implementation on an elaborator of a dependently typed language with pruning`