AdaOC Advent of Code 20231 implementation in Ada2. Quick start gprbuild ./build/adaoc <day> <input-file> Footnotes https://adventofcode.com/2023 ↩ https://www.adacore.com/ ↩