Hacker News new | ask | show | jobs
Category Theory Library for Agda (github.com)
3 points by presheaf 1292 days ago