Hacker News new | ask | show | jobs
by seanmcdirmid 4174 days ago
Unification is not a substitute for semi unification.