Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Seems approachable, reading the first chapter ...
I've got this and went through some of it
Enjoyed it at the time but didn't get through it
I'll probably try revisit it again :grinning_face_with_smiling_eyes:
The Pinter book is _awesome_, one of my favorite pieces of mathematics writing.
I find Aluffi to be an interesting read if you have some background knowledge in both CT and algebra to begin with, but it would be a pretty intense introduction to both