Suzanne Dupéron 8eb6472b00 Updated some docs that did not include reasonligo / .religo yet		2020-01-29 18:02:55 +00:00
..
expect_tests	Updated some docs that did not include reasonligo / .religo yet	2020-01-29 18:02:55 +00:00
cli_helpers.ml	add missing newlines	2020-01-17 16:29:23 +01: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	Updated some docs that did not include reasonligo / .religo yet	2020-01-29 18:02:55 +00:00
cli.mli	Add some cli expect tests	2019-11-21 16:46:38 -06:00
dune	[LIGO-347] Add changelog	2020-01-08 10:54:21 +00:00
runligo.ml	Rename executable to fix merlin confusion	2019-12-01 23:08:05 +00:00