aoc-2023/Common/List.lean, branch mainAdvent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Common/List.lean?h=main2024-12-16T21:04:31ZDay 16 Part 22024-12-16T21:04:31ZAndreas Groisandi@grois.info2024-12-16T21:04:31Zurn:sha1:8f1a6c619a238531aed9dd3f4479d658fcf1d101Day 12 Part 1.2024-09-24T18:04:26ZAndreas Groisandi@grois.info2024-09-24T18:04:26Zurn:sha1:b1c7ab96169f80f62c8f5025cf2ebd74e9128f71
God, I fell into the premature optimization trap here...
But I'm glad I did, that should make part 2 way easier.
Continue Day11/Parsing2024-09-18T17:42:46ZAndreas Groisandi@grois.info2024-09-18T17:42:46Zurn:sha1:2c1f2362c69ab20b10b61bdbebf8e5121eca38b1Squashed commit of the following:2024-07-12T20:01:57ZAndreas Groisandi@grois.info2024-07-12T20:01:57Zurn:sha1:f7ac27f54a76582354964bae21ee03937c108187
commit 7aeefe2e761a4892ff2f438e00f3ec7e6d286c5c
Author: Andreas Grois <andi@grois.info>
Date: Fri Jul 12 21:59:44 2024 +0200
Finish Lean 4.9 update.
commit 8a5576ae983203035f6bf0c807b36f1b4d7b63a6
Author: Andreas Grois <andi@grois.info>
Date: Fri Jul 12 21:40:21 2024 +0200
Lean 4.9 upgrade, heap is where it was before...
commit db34881e21391c96a6a0b939552b0f6f77d05bd8
Author: Andreas Grois <andi@grois.info>
Date: Fri Jul 12 00:31:22 2024 +0200
Further Lean 4.9 compat...
commit 22444613d58c5bd1a3fcdad0cd6c8d3aee1f3214
Author: Andreas Grois <andi@grois.info>
Date: Thu Jul 11 22:15:11 2024 +0200
Further Lean 4.9 porting
commit a4ace32cbb02959f9625578b511c2486e0816367
Author: Andreas Grois <andi@grois.info>
Date: Wed Jul 10 23:18:29 2024 +0200
Continue porting to Lean 4.9
commit d0f411bcc42b5cb7c72c2ed65ae35875c72e95dd
Author: Andreas Grois <andi@grois.info>
Date: Wed Jul 10 23:10:34 2024 +0200
Continue port to Lean 4.9
commit 835ce644b97840048de0df40676ff6f3a8b99985
Author: Andreas Grois <andi@grois.info>
Date: Wed Jul 10 22:14:59 2024 +0200
Partial port to Lean 4.9. Not compiling yet.
Day 8 Part 22023-12-09T15:34:30ZAndreas Groisandi@grois.info2023-12-09T15:34:30Zurn:sha1:ecbf7b27be05dc242f066e681dbe22c4274834f5Day 72023-12-08T14:15:33ZAndreas Groisandi@grois.info2023-12-08T14:15:33Zurn:sha1:5e75e251e5652908e23b4977e98600688ff9fd81Day5, part 12023-12-06T18:20:03ZAndreas Groisandi@grois.info2023-12-06T18:20:03Zurn:sha1:dbee715e231a1aabcf105557e52855a23a964207Day 32023-12-03T20:13:47ZAndreas Groisandi@grois.info2023-12-03T20:13:47Zurn:sha1:0cdb5a2449c996e54a0c777dd807785d3016fd66Quicksort. Might be useful later.2023-12-02T23:29:59ZAndreas Groisandi@grois.info2023-12-02T23:29:59Zurn:sha1:d09a6869fea6f0d79c57e4ff756e21e03d395d52