 Nathan McCarty
|
080b9f8c77
|
Include year in markdown headers
|
2025-01-10 15:31:24 -05:00 |
|
|
Nathan McCarty
|
feb75002bd
|
Readme fix
|
2025-01-10 14:16:31 -05:00 |
|
|
Nathan McCarty
|
472dc28c3b
|
Year 2015 Day 6 Part 2
|
2025-01-10 14:15:07 -05:00 |
|
|
Nathan McCarty
|
20dca6b098
|
Year 2015 Day 6 Part 1
|
2025-01-10 14:01:07 -05:00 |
|
|
Nathan McCarty
|
e2a26d9519
|
Overhaul logging
Provide a proper logging effect that filters messages by log level
before generating them.
|
2025-01-09 15:49:12 -05:00 |
|
|
Nathan McCarty
|
fb2f643efa
|
Make logging lazy in the string
Make the logging functions accept a Lazy String so we don't pay
formatting costs when we don't need to
|
2025-01-08 10:44:52 -05:00 |
|
|
Nathan McCarty
|
2c012c57db
|
Add cartProd to util
|
2025-01-08 08:57:07 -05:00 |
|
|
Nathan McCarty
|
fde322e772
|
Add grid module
|
2025-01-07 21:40:23 -05:00 |
|
|
Nathan McCarty
|
f2070b7513
|
Year 2015 Day 5 Part 2
|
2025-01-07 13:03:31 -05:00 |
|
|
Nathan McCarty
|
6c757cfde7
|
Year 2015 Day 5 Part 1
|
2025-01-07 11:47:05 -05:00 |
|
|
Nathan McCarty
|
9301eb303c
|
Add isSubstr to Util
|
2025-01-07 11:46:49 -05:00 |
|
|
Nathan McCarty
|
adc6b0a4a6
|
Year 2015 Day 4 Part 2
|
2025-01-07 09:34:59 -05:00 |
|
|
Nathan McCarty
|
c873b7282e
|
Year 2015 Day 4 Part 1
|
2025-01-07 09:34:59 -05:00 |
|
|
Nathan McCarty
|
fdfa15daf8
|
Year 2015 Day 3 Part 2
|
2025-01-06 14:32:48 -05:00 |
|
|
Nathan McCarty
|
30917830df
|
Year 2015 Day 3 Part 1
|
2025-01-06 14:04:10 -05:00 |
|
|
Nathan McCarty
|
e0d09d2379
|
Add set length to Util
|
2025-01-06 14:03:57 -05:00 |
|
|
Nathan McCarty
|
061c733688
|
Add basic vector functions to Util
|
2025-01-06 14:03:38 -05:00 |
|
|
Nathan McCarty
|
5b91c3815c
|
doc: Initial readme
|
2025-01-06 08:57:49 -05:00 |
|
|
Nathan McCarty
|
94bbe93db9
|
doc: switch to literate idris
Switch entire project over to literate markdown files
|
2025-01-05 05:18:54 -05:00 |
|
|
Nathan McCarty
|
0ba73aa1fd
|
Year 2015 Day 2 Part 2
|
2025-01-04 10:54:08 -05:00 |
|
|
Nathan McCarty
|
5700e6e9ba
|
Year 2015 Day 2 Part 1
|
2025-01-04 10:29:46 -05:00 |
|
|
Nathan McCarty
|
09f8478c2f
|
Year 2015 Day 1 Part 2
|
2025-01-04 09:54:51 -05:00 |
|
|
Nathan McCarty
|
161f391aba
|
Year 2015 Day 1 Part 1
|
2025-01-04 09:48:10 -05:00 |
|
|
Nathan McCarty
|
2255e73949
|
Initial commit
|
2025-01-04 09:48:10 -05:00 |
|