Hacker News new | ask | show | jobs
by codethief 113 days ago
That whole blog is one big and fascinating rabbit hole into type theory! Thanks for the link!