Update README.md
This commit is contained in:
parent
f4846f72f7
commit
74f195cd77
16
README.md
16
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.
|
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).
|
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).
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user