from Hacker News

Russell's Paradox in Agda

by kvlr on 6/19/20, 6:14 PM with 0 comments