TypeFunc: Resources for type theory, functional programming, etc.github.com/williamdemeo3 pointstodsacerdoti2 years ago