Category Theory Illustrated – Types

(abuseofnotation.github.io)

34 points | by boris_m 7 hours ago ago

1 comments