diff options
| author | Crazazy | 2024-12-01 11:58:50 +0100 |
|---|---|---|
| committer | Erik Oosting | 2024-12-01 12:01:06 +0100 |
| commit | 5ff7dbf234fd768c040acb0ff8e5718d50a862d8 (patch) | |
| tree | a829a48a5e7f1234d3fe3c366427b2778050ffa1 /src/Main.idr | |
| parent | 9f4a26f9188f74aa6869583ab991b4b8eccbb0b7 (diff) | |
finished day 1
Diffstat (limited to 'src/Main.idr')
0 files changed, 0 insertions, 0 deletions