Russell's Paradox in Agda Posted by kvlr on Friday June 19, 2020 @02:14PM from the nextjournal.com dept. https://nextjournal.com/zampino/russell-paradox ( no comments | 2 points | on HN )
There are no comments yet.