Initial commit

.gitignore

@@ -0,0 +1,10 @@
+# ---> Ada
+# Object file
+*.o
+
+# Ada Library Information
+*.ali
+
+# ---> Agda
+*.agdai
+