Category Theory Illustrated – Types

(abuseofnotation.github.io)

66 points | by boris_m 10 hours ago ago

1 comments