Nathan McCarty thatonelutenist · any pronouns
0 followers · 0 following
  • Joined on 2024-12-27
Repositories
1
 Projects Packages Public activity Starred repositories
thatonelutenist pushed to trunk at Idris/advent 2025-01-27 09:45:52 +00:00
32a8c6bd43 Add upload option to build-book script
4683cd72b9 Brutally butcher katla output to play nice with mdbook
9d3eeacd4c Minor mdbook cleanup
a294515c1d Basic book building
0c7c4d7c48 markdown fixes
Compare 6 commits »
thatonelutenist pushed to develop at Idris/advent 2025-01-27 02:16:39 +00:00
90c48b3672 json: delimited arrays
ef690db972 core: Properly restore state in delimited
93d4d876d9 core: Factor parseExactChar into the effect
08a2f263bb json: parse char result
40251a1455 numbers: ParseCharResult refactor
Compare 10 commits »
thatonelutenist pushed to develop at Idris/advent 2025-01-26 20:48:39 +00:00
5a47d5548c json: Clean up json smoke test
4fb5707b25 json: Refactor string parser
91e1d2c9b1 json: More refactor
a3c7729ab2 json: Smoke test
a8c3901665 json: Show Fix
Compare 24 commits »
thatonelutenist pushed to trunk at Idris/iutils-raku 2025-01-26 20:25:05 +00:00
775652c6cf Set %*SUB-MAIN-OPTS
f932ddcde5 Filtering by module name
75d955f666 Ignore envrc for now
0dbafc0cce fix: Handle whitespace in more places
18ad8bcc99 Add support for markdown files as sources
Compare 6 commits »
thatonelutenist pushed to develop at Idris/advent 2025-01-25 10:09:48 +00:00
2111e20f33 json: Bool and null
e46e1663b9 json: number
69e36774b5 json: Janky string
cc9b0edfb2 json: Object and array
8b111a1839 json: Parser types
Compare 16 commits »
thatonelutenist pushed to develop at Idris/advent 2025-01-25 09:39:56 +00:00
e3d563e6a3 json: Janky string
894b0bcbf9 json: Object and array
06e9c09eab json: Parser types
e74fe68e32 json: Define types, add sop
6be2b5372e json: create module
Compare 14 commits »
thatonelutenist created branch develop in Idris/advent 2025-01-25 05:40:35 +00:00
thatonelutenist pushed to develop at Idris/advent 2025-01-25 05:40:35 +00:00
3b01fbca46 numbers: Double Parser
f0e7a7fc43 numbers: Integer parser
fed48dd5eb numbers: Nat parser
b0504f04bc numbers: Nat unit tests
65726e29df numbers: Basic module structure
Compare 10 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-25 05:40:16 +00:00
6d130cdc3b Arrays with constant time indexing and slicing
thatonelutenist pushed to trunk at Idris/advent 2025-01-23 06:13:18 +00:00
49525e43a1 Year 2015 Day 11 Part 2
d84f361577 Note on subscribing to rss
1ee2d1b1e9 General revisions, improve README
9e9d13c45d Add references heading to day 11
b0882a899e Link to AoC problem in day module
Compare 6 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-23 06:06:31 +00:00
dd0565fd12 Note on subscribing to rss
thatonelutenist pushed to trunk at Idris/advent 2025-01-23 05:57:36 +00:00
c47f522c50 General revisions, improve README
7e05cc1e8b Add references heading to day 11
f7afecb550 Link to AoC problem in day module
8162210b21 Remove defective Grid module for now
76fcb6c34b Revise Runner
Compare 8 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-23 03:23:27 +00:00
13b05ceb86 Year 2015 Day 10 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-22 02:37:21 +00:00
2fb0a075a7 Year 2015 Day 10 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 07:06:25 +00:00
825c9f0446 Year 2015 Day 10 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 07:04:54 +00:00
56411b2518 Year 2015 Day 10 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 07:00:21 +00:00
71c29bbea4 Year 2015 Day 10 Part 1
0f6d2c1869 Add lazy list methods to util
12305cc232 Add repeatN to Util
fe4a20ade6 Add Util.Digits modules
Compare 4 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 05:02:03 +00:00
bfe2b577c1 Add Util.Digits modules
cf3a81fa62 Year 2015 Day 9 Part 2
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-20 04:54:38 +00:00
82268350cb Add Util.Digits modules
bef05278c2 Typo fix
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-19 23:53:28 +00:00
ed3d8a86ca Year 2015 Day 9 Part 2
c46d3d911b Year 2015 Day 9 Part 1
8cd56f32ab Add rotations to Util
d343cc37a3 Add List.contains to util
Compare 4 commits »