# Advent of Code 2022

This year, I'm doing it in idris 2