diff options
| author | Andreas Grois <andi@grois.info> | 2024-12-01 19:57:39 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-12-01 19:57:39 +0100 |
| commit | 11639a915b229952c267deb03a367ef70bb4a27e (patch) | |
| tree | 7a924e01fe494f18b129e32be02eab049a0b2fd1 /Common/Helpers.lean | |
| parent | 0a038cd8f528a9ff92daddaa5bc4b432f4fbdc7c (diff) | |
Change Day15 Part 2 to not use do-notation.
Diffstat (limited to 'Common/Helpers.lean')
0 files changed, 0 insertions, 0 deletions