caml-urm

A OCaml module for manipulating unlimited register machines

Commit
71d63f0fa53303394acccdac88a195834feb147d
Parent
be8f1b0db18b47dddebccc9aad86124f5f836fd4
Author
Pablo <pablo-escobar@riseup.net>
Date

Created a .gitignore

Diffstat

1 file changed, 3 insertions, 0 deletions

Status File Name N° Changes Insertions Deletions
Added .gitignore 3 3 0
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,3 @@
+*.cmi
+*.cmx
+*.o