Skip to content

Prototype typer: separate "deduce and clean" as a new heuristic

Only the last commit is in this branch. It breaks the tests. Let's try it later when the missing features are implemented.

Merge request reports