Hacker News new | ask | show | jobs
Category Theory Illustrated – Types (abuseofnotation.github.io)
2 points by boris_m 85 days ago