search

yeslogic / doodle

6 stars 1 forks source link

Type checking with new VarType #140

Open mikeday opened 10 months ago

mikeday commented 10 months ago

This does proper (?) unification, including aliasing variables X = Y, but without an occurs check as I don't think (??) that X = f(X) can happen during type checking.