Hacker News new | ask | show | jobs
by qazxcvbnm 1019 days ago
It seems to me that the author is attempting to put together some analysis on the essential meaning, purposes, and distinctions of type theory and set theory. While what on offer may not satisfy you or me, it seems a task worthy of doing.