ICFP 2020
Any code that I write to solve Matt Parker's Maths Puzzles
Tutoring website
2022 whole ICFPs
Woo icfp 2023