Closed kevinbarabash closed 2 years ago
This version of unify() uses multiple passes: annotate, collect, unify, and substitute. It also uses objects types and takes an Expr which is output from the parser.
Expr
This version of unify() uses multiple passes: annotate, collect, unify, and substitute. It also uses objects types and takes an
Expr
which is output from the parser.