Category Theory Illustrated – Types

(abuseofnotation.github.io)

67 points | by boris_m 10 hours ago

1 comments