Pierre-Emmanuel Wulfman 41d1f5e1b0 fix 2 missing loc in cameligo simplifier EProj et ETuple		2020-05-25 15:43:57 +02:00
..
dune	Add bool in default environment	2020-04-29 19:31:37 +02:00
typer_old.ml	compiling	2020-03-18 16:00:34 +01:00
typer.ml	fix 2 missing loc in cameligo simplifier EProj et ETuple	2020-05-25 15:43:57 +02:00
typer.mli	moved core and solver types to the AST, removed functor hell (Map, Set, UnionFind)	2020-04-29 21:32:50 +01:00