Skip to content

Work on the prototype typer: progress on modular interface for heuristics, renamed things, moved files, fixed tests.

Suzanne Soy requested to merge prototype-typer into dev

To be merged ASAP to avoid conflicts (many files moved and lots of code changed due to functors and renaming)

Edited by Suzanne Soy

Merge request reports