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 |