]> matita.cs.unibo.it Git - fireball-separation.git/commit
Added simple_test.ml
authoracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 12:55:57 +0000 (14:55 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 12:55:57 +0000 (14:55 +0200)
commit1e41340acff1c4e4439b44ce5437542c905c352f
treefcaeab0f0543515ceb10452f58eaefe678c09321
parent3d8ab5897c6aa3d9c1b317e1137b3fcd2668f25e
Added simple_test.ml
ocaml/Makefile
ocaml/simple.ml
ocaml/simple.mli [new file with mode: 0644]
ocaml/simple_test.ml [new file with mode: 0644]