Advent of code in Ada/SPARK

Implementing some of the challenges of the Advent of code (https://adventofcode.com/2019) in Ada and SPARK.

Name	Name	Last commit message	Last commit date
Latest commit kanigsson md test May 14, 2023 3d2add4 · May 14, 2023 History 5 Commits
1	1	minor cleanup	Dec 2, 2019
2	2	day 2	Dec 2, 2019
README.md	README.md	add readme	Dec 3, 2019
test.md	test.md	md test	May 14, 2023

Provide feedback