Russell's Paradox in Agda(nextjournal.com)2 points·by kvlr·vor 6 Jahren·0 commentsnextjournal.comRussell's Paradox in Agdahttps://nextjournal.com/zampino/russell-paradox0 commentsPost comment—