Hacker News new | ask | show | jobs
Russell's Paradox in Agda (nextjournal.com)
2 points by kvlr 2192 days ago