Have you read TAPL? I bought the physical copy and found it 100% worth it. Really easy to work through, even with a layperson's understanding of math [1] https

Have you read TAPL? I bought the physical copy and found it 100% worth it. Really easy to work through, even with a layperson's understanding of math [1] https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/