Cantor's diagonal argument in Agda(playingwithpointers.com)1 points by thedigitalengel 12 years ago | 0 commentsNo comments yet