armchair_progamer@programming.devM to Programming Languages@programming.dev · 8 months agoResources for type theory, functional programming, etc.github.comexternal-linkmessage-square1fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkResources for type theory, functional programming, etc.github.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 8 months agomessage-square1fedilink
minus-squareParagone@programming.devlinkfedilinkarrow-up0·7 months agoThank you for posting that. _ /\ _