I'm Learning Lean 4! Parser combinators - Advent of Code 2024 Day 1

I'm Learning Lean 4! In this video, I try to learn it by solving Advent of Code 2024 Day 1. I learn how to use parser combinators! Won't you join me???