P playingwithpointers.com Cantor's diagonal argument in Agda 1 points thedigitalengel 12 years ago 0 comments
