armchair_progamerM to Programming Languages · 1 year agoTypes versus sets (and what about categories?)lawrencecpaulson.github.ioexternal-linkmessage-square0fedilinkarrow-up16arrow-down10
arrow-up16arrow-down1external-linkTypes versus sets (and what about categories?)lawrencecpaulson.github.ioarmchair_progamerM to Programming Languages · 1 year agomessage-square0fedilink