Hacker News new | ask | show | jobs
Cantor's diagonal argument in Agda (playingwithpointers.com)
1 points by thedigitalengel 4477 days ago