From 09bfbde5ebdc60cef109b570b6c6f567a5b516b0 Mon Sep 17 00:00:00 2001
From: Son HO
Date: Tue, 2 Nov 2021 13:51:27 +0100
Subject: Initial commit

---
 .gitignore | 29 +++++++++++++++++++++++++++++
 README.md  |  2 ++
 2 files changed, 31 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 README.md

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 00000000..a18e0840
--- /dev/null
+++ 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
new file mode 100644
index 00000000..74b081e6
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# aeneas
+From Rust to pure programs
-- 
cgit v1.2.3