Gabriel Alfour 9059c3c2f1 Merge branch 'rinderknecht-dev' into 'master' ...

Added simplifications of Ligodity for lambdas, sequences and conditionals.

See merge request ligolang/ligo!5

2019-05-28 15:47:16 +00:00

..

camligo

minor rewriting; add docs

2019-05-28 10:46:22 +00:00

ligodity

Added simplifications of Ligodity for lambdas, sequences and

2019-05-28 17:00:43 +02:00

pascaligo

Moved repository to ligolang namespace

2019-05-24 11:36:39 +02:00

dune

Refactored the AST and fixed the symlinks.

2019-05-20 21:42:11 +02:00

parser.ml

minor rewriting; add docs

2019-05-28 10:46:22 +00:00