Can't find solutions for exercises in "The Lambda Calculus, its Syntax and Semantics"

Hey /r/math!I recently bought "The Lambda Calculus, ..." and so far I like the book. The only real disadvantage is the absence of solutions to the exercises. The point of the exercises, when using the book for self study, kind of disappears when you have no way to check if you are right or wrong.I hope this is the right place to ask: Does any of you know where to find the solutions, either from the author or from courses using the book? Any help will be appreciated!

This subreddit is for discussion of mathematical links and questions. Please read the FAQ and the rules below before posting.

If you're asking for help understanding something mathematical, post in the Simple Question thread or /r/learnmath. This includes reference requests - also see our lists of recommended books and free online resources. Here is a more recent thread with book recommendations.