Russell's Paradox in Agda(nextjournal.com)2 points·by kvlr·6 ปีที่แล้ว·0 commentsnextjournal.comRussell's Paradox in Agdahttps://nextjournal.com/zampino/russell-paradox0 commentsPost comment—