grenier/trope
Frédéric Bour f07d973902 jbuild -> dune 2019-06-10 12:19:50 +02:00
..
test trope: update testsuite & fix implementation 2016-09-20 12:59:48 +09:00
Makefile add main test target 2016-10-05 15:11:38 +02:00
dune jbuild -> dune 2019-06-10 12:19:50 +02:00
trope.ml Port everything to dune 2018-06-16 19:09:58 +02:00
trope.mli trope: update testsuite & fix implementation 2016-09-20 12:59:48 +09:00