It looks like you're new here. If you want to get involved, click one of these buttons!
Hey everybody, I'm a software engineer with a budding interest in category theory. I first got into Haskell a few years ago and fell in love with the abstractions. I'm interested to learn more about the other applications of CT and hopefully get a deeper understanding of the applied concepts in programming languages. Glad to be on this journey with you all!