My solutions to Sandy's amazing book.
https://thinkingwithtypes.com/

Not all exercises are included. I focused on those that require actual coding.