ligo/src/bin
2020-01-02 15:21:56 +01:00
..
expect_tests test & dune promote 2020-01-02 15:21:56 +01:00
cli_helpers.ml First negative tests for the old typer & improvement of error messages 2019-12-17 18:18:49 +00:00
cli_helpers.mli First negative tests for the old typer & improvement of error messages 2019-12-17 18:18:49 +00:00
cli.ml add predecessor timestamp to the CLI 2019-12-20 12:18:36 +01:00
cli.mli Add some cli expect tests 2019-11-21 16:46:38 -06:00
dune also preprocess the executable 2019-12-31 14:23:51 +01:00
runligo.ml Rename executable to fix merlin confusion 2019-12-01 23:08:05 +00:00