Hacker Neus
Category Theory Illustrated – Types
(abuseofnotation.github.io)
114 points
by boris_m
4 days ago |
19 comments