Galfour c69c98c7fa Merge branch 'master' of gitlab.com:gabriel.alfour/ligo		2019-05-23 06:49:21 +00:00
..
camligo.ml	remove annotations from ast_simplified; make annotation expression explicit; locally very limited propagation of constraints in binding cases	2019-05-23 06:22:58 +00:00
dune	Refactored the AST and fixed the symlinks.	2019-05-20 21:42:11 +02:00
ligodity.ml	Refactored the AST and fixed the symlinks.	2019-05-20 21:42:11 +02:00
pascaligo.ml	remove annotations from ast_simplified; make annotation expression explicit; locally very limited propagation of constraints in binding cases	2019-05-23 06:22:58 +00:00
simplify.ml	Fixed the build (which I broke, sorry).	2019-05-15 16:05:03 +02:00