Commit graph

Select branches

Hide pull requests

develop

trunk

wat

Mono Color

• f675677a76 Fix build-book output directory trunk Nathan McCarty 2025-01-29 03:35:21 -0500
• f8d6e3cfcb Year 2015 Day 13 Part 2 Nathan McCarty 2025-01-29 03:32:22 -0500
• 22eccd177c Year 2015 Day 13 Part 1 Nathan McCarty 2025-01-28 11:38:11 -0500
• 3addc0aeaf Add minBy and maxBy to Util Nathan McCarty 2025-01-29 01:31:20 -0500
• 5ad68cdb44 Add unfinS to util Nathan McCarty 2025-01-29 01:13:43 -0500
• ac93582e96 Add permutations and LazyList.length to Util Nathan McCarty 2025-01-28 09:48:11 -0500
• c632ab023d Year 2015 Day 12 Part 2 Nathan McCarty 2025-01-27 23:00:02 -0500
• b2704dcbcc Add getValues to JSON Nathan McCarty 2025-01-27 22:45:18 -0500
• 5760da96eb Add dFilter to json Nathan McCarty 2025-01-27 22:25:12 -0500
• b5547ccb58 Add getProperty method to JSON Nathan McCarty 2025-01-27 21:26:47 -0500
• e91db14c11 Improve build-book script Nathan McCarty 2025-01-27 21:02:07 -0500
• e00ec274ca Year 2015 Day 12 Part 1 Nathan McCarty 2025-01-27 19:47:47 -0500
• cd4949b2f8 Export JSON show and Eq Nathan McCarty 2025-01-27 20:15:04 -0500
• 6afe8c2a4e Make runFirstIO more generic Nathan McCarty 2025-01-27 19:55:35 -0500
• 83afb8a7c4 Add JSON dFoldL Nathan McCarty 2025-01-27 18:30:30 -0500
• aa33fe6004 Some notes Nathan McCarty 2025-01-27 17:06:08 -0500
• b2d94f9751 Mdbook tweaks develop Nathan McCarty 2025-01-27 05:19:15 -0500
• d030bd79c5 Add JSON Parser Nathan McCarty 2025-01-25 02:27:25 -0500
• faaf42e66c Add parsers for numerical values Nathan McCarty 2025-01-24 16:33:29 -0500
• 5a2ffc1058 Basic Parsing Interface Nathan McCarty 2025-01-24 01:45:02 -0500
• 24285db686 Switch from markdown comments to hidden fences Nathan McCarty 2025-01-27 04:55:07 -0500
• 32a8c6bd43 Add upload option to build-book script Nathan McCarty 2025-01-27 04:45:38 -0500
• 4683cd72b9 Brutally butcher katla output to play nice with mdbook Nathan McCarty 2025-01-27 04:36:19 -0500
• 9d3eeacd4c Minor mdbook cleanup Nathan McCarty 2025-01-27 03:29:53 -0500
• a294515c1d Basic book building Nathan McCarty 2025-01-27 03:10:50 -0500
• 0c7c4d7c48 markdown fixes Nathan McCarty 2025-01-27 01:48:56 -0500
• 091cd61e95 mdbook setup Nathan McCarty 2025-01-27 01:06:05 -0500
• 6d130cdc3b Arrays with constant time indexing and slicing Nathan McCarty 2025-01-23 04:18:32 -0500
• 49525e43a1 Year 2015 Day 11 Part 2 Nathan McCarty 2025-01-23 01:11:21 -0500
• d84f361577 Note on subscribing to rss Nathan McCarty 2025-01-23 01:05:51 -0500
• 1ee2d1b1e9 General revisions, improve README Nathan McCarty 2025-01-23 00:57:16 -0500
• 9e9d13c45d Add references heading to day 11 Nathan McCarty 2025-01-23 00:47:15 -0500
• b0882a899e Link to AoC problem in day module Nathan McCarty 2025-01-23 00:36:10 -0500
• d405c43683 Remove defective Grid module for now Nathan McCarty 2025-01-23 00:30:33 -0500
• 76fcb6c34b Revise Runner Nathan McCarty 2025-01-23 00:29:53 -0500
• 407149dd4a Documentation tweaks and fixes Nathan McCarty 2025-01-23 00:17:19 -0500
• 9489721e29 Year 2015 Day 11 Part 1 Nathan McCarty 2025-01-22 22:29:38 -0500
• d6330fec9b Add refined dependency Nathan McCarty 2025-01-22 22:40:32 -0500
• 13b05ceb86 Year 2015 Day 10 Part 2 Nathan McCarty 2025-01-22 22:23:05 -0500
• 71c29bbea4 Year 2015 Day 10 Part 1 Nathan McCarty 2025-01-20 00:02:06 -0500
• 0f6d2c1869 Add lazy list methods to util Nathan McCarty 2025-01-20 01:40:53 -0500
• 12305cc232 Add repeatN to Util Nathan McCarty 2025-01-20 00:07:50 -0500
• fe4a20ade6 Add Util.Digits modules Nathan McCarty 2025-01-19 22:05:30 -0500
• cf3a81fa62 Year 2015 Day 9 Part 2 Nathan McCarty 2025-01-19 18:46:24 -0500
• c46d3d911b Year 2015 Day 9 Part 1 Nathan McCarty 2025-01-17 22:20:51 -0500
• 8cd56f32ab Add rotations to Util Nathan McCarty 2025-01-19 17:51:56 -0500
• d343cc37a3 Add List.contains to util Nathan McCarty 2025-01-18 16:06:00 -0500
• ca07f2995e Year 2015 Day 8 Part 2 Nathan McCarty 2025-01-17 13:49:30 -0500
• 9a16de8be7 Year 2015 Day 8 Part 1 Nathan McCarty 2025-01-14 15:52:04 -0500
• 8a01c46441 Add subset proofs to util Nathan McCarty 2025-01-16 15:49:13 -0500
• 9721602598 wat wat Nathan McCarty 2025-01-14 21:51:33 -0500
• 62510c6755 Day 8 template Nathan McCarty 2025-01-14 15:52:04 -0500
• a83cef8360 Add choose utilties to util Nathan McCarty 2025-01-14 16:02:39 -0500
• b0e7c1aa91 Reformat markdown Nathan McCarty 2025-01-14 15:15:09 -0500
• 5a313c952f Year 2015 Day 7 Part 2 Nathan McCarty 2025-01-10 22:47:58 -0500
• fc7f79a96a Year 2015 Day 7 Part 1 Nathan McCarty 2025-01-10 18:02:30 -0500
• 080b9f8c77 Include year in markdown headers Nathan McCarty 2025-01-10 15:31:24 -0500
• feb75002bd Readme fix Nathan McCarty 2025-01-10 14:16:31 -0500
• 472dc28c3b Year 2015 Day 6 Part 2 Nathan McCarty 2025-01-10 14:15:07 -0500
• 20dca6b098 Year 2015 Day 6 Part 1 Nathan McCarty 2025-01-10 13:31:00 -0500
• e2a26d9519 Overhaul logging Nathan McCarty 2025-01-09 15:48:24 -0500
• fb2f643efa Make logging lazy in the string Nathan McCarty 2025-01-08 10:44:52 -0500
• 2c012c57db Add cartProd to util Nathan McCarty 2025-01-08 08:56:44 -0500
• fde322e772 Add grid module Nathan McCarty 2025-01-07 21:06:02 -0500
• f2070b7513 Year 2015 Day 5 Part 2 Nathan McCarty 2025-01-07 13:03:31 -0500
• 6c757cfde7 Year 2015 Day 5 Part 1 Nathan McCarty 2025-01-07 11:47:05 -0500
• 9301eb303c Add isSubstr to Util Nathan McCarty 2025-01-07 11:46:49 -0500
• adc6b0a4a6 Year 2015 Day 4 Part 2 Nathan McCarty 2025-01-07 09:33:49 -0500
• c873b7282e Year 2015 Day 4 Part 1 Nathan McCarty 2025-01-07 09:26:28 -0500
• fdfa15daf8 Year 2015 Day 3 Part 2 Nathan McCarty 2025-01-06 14:32:48 -0500
• 30917830df Year 2015 Day 3 Part 1 Nathan McCarty 2025-01-06 14:04:10 -0500
• e0d09d2379 Add set length to Util Nathan McCarty 2025-01-06 14:03:57 -0500
• 061c733688 Add basic vector functions to Util Nathan McCarty 2025-01-06 14:03:38 -0500
• 5b91c3815c doc: Initial readme Nathan McCarty 2025-01-06 08:57:49 -0500
• 94bbe93db9 doc: switch to literate idris Nathan McCarty 2025-01-04 11:40:34 -0500
• 0ba73aa1fd Year 2015 Day 2 Part 2 Nathan McCarty 2025-01-04 10:54:08 -0500
• 5700e6e9ba Year 2015 Day 2 Part 1 Nathan McCarty 2025-01-04 10:29:46 -0500
• 09f8478c2f Year 2015 Day 1 Part 2 Nathan McCarty 2025-01-04 09:44:29 -0500
• 161f391aba Year 2015 Day 1 Part 1 Nathan McCarty 2025-01-04 09:38:25 -0500
• 2255e73949 Initial commit Nathan McCarty 2025-01-03 09:32:58 -0500