Category Theory Illustrated – Types

(abuseofnotation.github.io)

30 points | by boris_m  7 hours ago

1 comments