@armchair_progamerM to Programming Languages • 7 months agoResources for type theory, functional programming, etc.github.comexternal-linkmessage-square1arrow-up116arrow-down11
arrow-up115arrow-down1external-linkResources for type theory, functional programming, etc.github.com@armchair_progamerM to Programming Languages • 7 months agomessage-square1