Cantor's diagonal argument in Agda #1 Post by thedigitalengel » Sun, Mar 23, 2014, 8:12 PM UTC Cantor's diagonal argument in Agdaplayingwithpointers.com