]> matita.cs.unibo.it Git - fireball-separation.git/commit
Simpler tests in simple_test.ml + Added diverging tests in simple.1
authoracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 19:11:29 +0000 (21:11 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Thu, 31 May 2018 19:11:29 +0000 (21:11 +0200)
commit3ba5ecfc8372d4c9f380bad5cdf7387f2bbcea6a
treeff43e4f5ecbc74006da3a69de96ecd1282075618
parent2ad3be49dd888a10237ee5391c7bbb2ff6e9c2df
Simpler tests in simple_test.ml + Added diverging tests in simple.1
ocaml/problems/simple.1 [new file with mode: 0644]
ocaml/simple.ml
ocaml/simple_test.ml