diff options
| author | Crazazy | 2024-12-01 12:08:53 +0100 |
|---|---|---|
| committer | Crazazy | 2024-12-01 12:08:53 +0100 |
| commit | 911796e471b30f7b1d8358e9d9d179852cfebfc5 (patch) | |
| tree | f0c9cbba8ba9bb220c658bacd6fff5a93c4cad50 /src/Day2.idr | |
| parent | 5ff7dbf234fd768c040acb0ff8e5718d50a862d8 (diff) | |
just now I found out about the unzip function
would've saved me a bit of time there ;_;
Diffstat (limited to 'src/Day2.idr')
0 files changed, 0 insertions, 0 deletions