Hacker News new | ask | show | jobs
Introduction to Univalent Foundations of Mathematics with Agda (martinescardo.github.io)
3 points by panic 235 days ago