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-07 14:34:15 +00:00
9917efbe5b Year 2015 Day 4 Part 2
5cbecc26f9 Year 2015 Day 4 Part 1
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-06 19:33:01 +00:00
fdfa15daf8 Year 2015 Day 3 Part 2
30917830df Year 2015 Day 3 Part 1
e0d09d2379 Add set length to Util
061c733688 Add basic vector functions to Util
Compare 4 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-06 13:58:03 +00:00
5b91c3815c doc: Initial readme
thatonelutenist pushed to trunk at Idris/advent 2025-01-05 10:19:58 +00:00
94bbe93db9 doc: switch to literate idris
thatonelutenist pushed to trunk at Idris/advent 2025-01-04 23:11:40 +00:00
75be4f265e doc: Literate Main
ff7f36d50c doc: Literate Runner
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-04 16:41:03 +00:00
7fe917b412 doc: Literate Runner
0ba73aa1fd Year 2015 Day 2 Part 2
5700e6e9ba Year 2015 Day 2 Part 1
Compare 3 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-04 14:54:59 +00:00
09f8478c2f Year 2015 Day 1 Part 2
thatonelutenist pushed to trunk at Idris/advent 2025-01-04 14:48:18 +00:00
3394aedba1 Year 2015 Day 1 Part 2
161f391aba Year 2015 Day 1 Part 1
2255e73949 Initial commit
Compare 3 commits »
thatonelutenist pushed to trunk at Idris/advent 2025-01-04 03:05:20 +00:00
6f26c62b0c Initial commit
thatonelutenist created branch trunk in Idris/advent 2025-01-04 03:05:19 +00:00
thatonelutenist created repository Idris/advent 2025-01-04 03:04:57 +00:00
thatonelutenist pushed to trunk at Idris/iutils-raku 2025-01-02 05:02:14 +00:00
b28b91d5d2 Working idris2 error detection
a0ba82ab38 Add example
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/iutils-raku 2025-01-01 01:55:46 +00:00
c8acc534a9 Properly support multi-word test names
thatonelutenist pushed to trunk at Idris/iutils-raku 2025-01-01 01:55:27 +00:00
8428f64721 Properly support multiline integration tests
thatonelutenist pushed to trunk at Idris/iutils-raku 2025-01-01 00:21:36 +00:00
4b2c2eb4dd Improve test running
thatonelutenist pushed to trunk at Idris/iutils-raku 2024-12-31 23:12:53 +00:00
09ac7506ee Implement support for IO Bool tests
thatonelutenist pushed to trunk at Idris/iutils-raku 2024-12-31 22:33:19 +00:00
c089685a2a Update envrc
dcdaa374d7 Fix META6
5080b94b32 Fix final failed test count output being in the wrong place
Compare 3 commits »
thatonelutenist pushed to trunk at Idris/iutils-raku 2024-12-31 20:57:04 +00:00
f085e8e14b Execute expressions properly
thatonelutenist pushed to trunk at Idris/iutils-raku 2024-12-31 20:43:58 +00:00
6971949a53 Fix improper handling of expression name
thatonelutenist pushed to trunk at Idris/iutils-raku 2024-12-31 20:35:17 +00:00
cab0cb5ce1 clean up error display
c5ff918640 Failure reporting
013f8500df Slightly colorized output
Compare 3 commits »