Closed EduardoRFS closed 1 year ago
Simplify the development of the typer.
In a previous PR higher order unification was added, but due to an increase in complexity I will be dropping this again, until a better approach is found.
Goals
Simplify the development of the typer.
Context
In a previous PR higher order unification was added, but due to an increase in complexity I will be dropping this again, until a better approach is found.