Nathan McCarty thatonelutenist · any pronouns
0 followers · 0 following
  • Joined on 2024-12-27
Repositories
1
 Projects Packages Public activity Starred repositories
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 »
thatonelutenist pushed to trunk at Idris/iutils-raku 2024-12-31 19:13:32 +00:00
9bd0cc323f Somewhat working test running
49c118eef4 Refactor compiler interaction
1bfe73f77a Rename regex module
Compare 3 commits »
thatonelutenist pushed to trunk at Idris/iutils-raku 2024-12-31 16:25:21 +00:00
9e9903429e Scanning checkpoint
a4e4c4a314 Minor tweaks
0a0596b143 Project enumeration
Compare 3 commits »
thatonelutenist pushed to trunk at Idris/iutils-raku 2024-12-31 02:36:23 +00:00
197dd79b34 Early functioning comment detection
ef58bb4810 Some utility methods
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/iutils-raku 2024-12-30 14:14:30 +00:00
525b9c68cd Handle idris errors
2784a7d80a Docs
Compare 2 commits »
thatonelutenist pushed to trunk at Idris/iutils-raku 2024-12-30 13:55:47 +00:00
ae73c9050d Fix string handling messup
f6c40813d2 Minor refactoring
72393480e3 Basic IDE mode interface
c34c38fc03 Initial commit
thatonelutenist created branch trunk in Idris/iutils-raku 2024-12-30 13:55:46 +00:00
thatonelutenist created repository Idris/iutils-raku 2024-12-30 13:54:20 +00:00
thatonelutenist transferred repository thatonelutenist/personal-tooling to Idris/personal-tooling 2024-12-28 09:53:32 +00:00
thatonelutenist pushed to trunk at Idris/personal-tooling 2024-12-28 09:52:50 +00:00
6721c82d25 Add readme and license
thatonelutenist created branch trunk in Idris/personal-tooling 2024-12-28 09:34:18 +00:00