Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Finally, something that's relatable to Haskellers who are not already heavy into math/type theory,
https://www.haskellforall.com/2022/05/introductory-resources-to-type-theory.html
Finally, something that's relatable to Haskellers who are not already heavy into math/type theory,
https://www.haskellforall.com/2022/05/introductory-resources-to-type-theory.html