Suzanne Dupéron 5ff9803989 Merge remote-tracking branch 'origin/dev' into dev		2020-01-28 22:30:31 +00:00
..
dune	union-find: rename partition to UnionFind for more consistency across the various names that opam and dune assign to this library	2020-01-08 18:12:00 +00:00
PP.ml	Changes requested in MR review	2020-01-28 20:23:11 +00:00
solver.ml	Changes requested in MR review	2020-01-28 20:23:11 +00:00
typer_new.ml	Rename 4-typer to 4-typer-old (part 2: make changes)	2019-11-04 18:40:49 +00:00
typer.ml	Merge remote-tracking branch 'origin/dev' into dev	2020-01-28 22:30:31 +00:00
typer.ml.old	Remove original Cameligo and rename Ligodity to Cameligo.	2019-12-12 14:35:07 +01:00
typer.mli	typer: typecheck expression and subst (used e.g. to typecheck arguments of contracts)	2020-01-22 13:49:32 +01:00