Suzanne Dupéron 78bbf9b044 Merge branch 'dev' into 'dev' ...

add Telegram link

See merge request ligolang/ligo!351

2020-02-09 09:02:31 +00:00

..

ligo-utils

Merge branch 'dev' into 'dev'

2020-02-09 09:02:31 +00:00

Preproc

[WIP] Refactoring the front-end.

2020-01-27 16:05:47 +01:00

rope

Interface for Ocaml code

2019-10-07 14:18:32 +00:00

UnionFind

typer: cleanup

2020-01-20 21:19:37 +01:00

.gitignore

Place the local copy of ligo in a -generated folder

2019-05-27 11:57:29 +02:00