Select Git revision
language
Stéphane Del Pino authored
Grammar allows constructions such as `` let f : R*R -> R*R, x -> x; `` This expression does not actually compiles since expression types are not correctly defined, thus semantic analysis fails