From 74f195cd777a801832f9302205397f167c393b10 Mon Sep 17 00:00:00 2001 From: steph Date: Sun, 1 Dec 2024 15:41:23 +0100 Subject: [PATCH] Update README.md --- README.md | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 30daa67..95d83a7 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,21 @@ Heya! This is my advent of code repo (as you might have guessed). In here you'll find my solutions of the advent of code exercises. -# 2021 +## 2024 + +Really wanna try out agda during this year's AoC, but I'm a little bit too scared to do IO and parsing in a proof assistant. I don't think that implementing a recurse decent parsing library would be too hard but it's also pretty busy right now so maybe I'll attempt that later in the challenge (if I can keep it up this year). + +So for lack of better languages, more Haskell this year. + +## 2023 + +Some more Haskell + +## 2022 + +My first attempts at Haskell + +## 2021 So similar to last year, a different language each day. Different though: I pick the language myself instead of using the little seeded ransomizer. Hopefully this helps with me finishing it when I am busy that day (by picking a language I already know).