5 Commits

Author	SHA1	Message	Date
Suzanne Dupéron	2cbc8bbf0c	Revert "Revert "Merge branch 'feature/adt-generator-poly-3' into 'dev'"" ... This reverts commit 8b83e375bd.	2020-04-13 19:23:12 +02:00
Maksym Bykovskyy	e27dfa1bce	Moved examples folder	2020-03-03 22:41:16 +00:00
Rémi Lesenechal	8b83e375bd	Revert "Merge branch 'feature/adt-generator-poly-3' into 'dev'" ... This reverts merge request !403	2020-02-11 10:45:08 +00:00
Suzanne Dupéron	7bad718135	Add missing dependency on Python 3	2020-02-10 20:40:43 +01:00
Jev Björsell	c119c44c13	Import webide into main ligo monorepo ... When this is merged https://gitlab.com/ligolang/ligo-web-ide/ will be marked as deprecated. This MR does not hook up the webide build to the main CI. The CI integration will come in a subsequent MR for the sake of making review easier.	2020-02-06 19:04:18 -08:00