Idris/advent
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Typo fix

Browse source
This commit is contained in:
Nathan McCarty 2025-01-19 21:50:20 -05:00
parent ed3d8a86ca
commit bef05278c2
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/Years/Y2015/Day9.md
View file

@ -1,4 +1,4 @@
# Year 2016 Day 9
# Year 2015 Day 9
This day provides our first example of a graph traversal problem. We'll use a
`Choose` based effectful breath first search to identify all the possible paths
@ -292,3 +292,4 @@ public export
day9 : Day
day9 = Both 9 part1 part2
-->