FP Journey - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Jan van Brügge

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

Jan van Brügge

so much new knowledge in such a short time frame