Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
I was recently thinking about my FP journey. Not even 4 years ago, OOP was everything I knew, and now I am trying to formalize System FC in Isabelle/HOL
so much new knowledge in such a short time frame