BabelOfCode 2024 Week 11, Puzzle 17 Language: Idris | Hacker News Reader