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

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