Russell's Paradox in Agda

Post by kvlr » Fri, Jun 19, 2020, 6:14 PM UTC