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