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