summaryrefslogtreecommitdiff
path: root/Day10.lean
diff options
context:
space:
mode:
Diffstat (limited to 'Day10.lean')
-rw-r--r--Day10.lean3
1 files changed, 3 insertions, 0 deletions
diff --git a/Day10.lean b/Day10.lean
new file mode 100644
index 0000000..c3508a2
--- /dev/null
+++ b/Day10.lean
@@ -0,0 +1,3 @@
+namespace Day10
+
+-- I'm going to go with a Dijkstra graph search here.