Coding These are my posts related to coding! This ranges anywhere from my game development to learning functional programming.2022 Adventures with OpenAI 08 Dec Banana - A lesson on simplicity 14 Oct Wordle In Idris - Why Idris? 25 Aug