Lesenechal Remi 4af42cb1bd michelson_or types are transformed into variant types		2020-04-07 21:36:59 +02:00
..
dune	rename AST to imperative, sugar and core. Factor code in compile	2020-03-18 16:00:34 +01:00
PP.ml	michelson_or types are transformed into variant types	2020-04-07 21:36:59 +02:00
solver.ml	michelson_or types are transformed into variant types	2020-04-07 21:36:59 +02:00
typer_new.ml	compiling	2020-03-18 16:00:34 +01:00
typer.ml	michelson_or types are transformed into variant types	2020-04-07 21:36:59 +02:00
typer.ml.old	rename AST to imperative, sugar and core. Factor code in compile	2020-03-18 16:00:34 +01:00
typer.mli	rename AST to imperative, sugar and core. Factor code in compile	2020-03-18 16:00:34 +01:00