Commit graph

Select branches

Hide pull requests

trunk

Mono Color

• b28b91d5d2 Working idris2 error detection trunk Nathan McCarty 2025-01-02 00:00:13 -0500
• a0ba82ab38 Add example Nathan McCarty 2025-01-01 02:57:02 -0500
• c8acc534a9 Properly support multi-word test names Nathan McCarty 2024-12-31 20:40:00 -0500
• 4b2c2eb4dd Improve test running Nathan McCarty 2024-12-31 19:08:42 -0500
• 09ac7506ee Implement support for IO Bool tests Nathan McCarty 2024-12-31 18:12:35 -0500
• c089685a2a Update envrc Nathan McCarty 2024-12-31 17:28:21 -0500
• dcdaa374d7 Fix META6 Nathan McCarty 2024-12-31 16:19:02 -0500
• 5080b94b32 Fix final failed test count output being in the wrong place Nathan McCarty 2024-12-31 16:06:25 -0500
• f085e8e14b Execute expressions properly Nathan McCarty 2024-12-31 20:56:32 +0000
• 6971949a53 Fix improper handling of expression name Nathan McCarty 2024-12-31 20:43:41 +0000
• cab0cb5ce1 clean up error display Nathan McCarty 2024-12-31 20:35:04 +0000
• c5ff918640 Failure reporting Nathan McCarty 2024-12-31 20:00:20 +0000
• 013f8500df Slightly colorized output Nathan McCarty 2024-12-31 19:32:50 +0000
• 9bd0cc323f Somewhat working test running Nathan McCarty 2024-12-31 19:11:46 +0000
• 49c118eef4 Refactor compiler interaction Nathan McCarty 2024-12-31 16:30:53 +0000
• 1bfe73f77a Rename regex module Nathan McCarty 2024-12-31 16:28:24 +0000
• 9e9903429e Scanning checkpoint Nathan McCarty 2024-12-31 16:25:05 +0000
• a4e4c4a314 Minor tweaks Nathan McCarty 2024-12-31 16:04:33 +0000
• 0a0596b143 Project enumeration Nathan McCarty 2024-12-31 15:49:13 +0000
• 197dd79b34 Early functioning comment detection Nathan McCarty 2024-12-31 02:32:25 +0000
• ef58bb4810 Some utility methods Nathan McCarty 2024-12-30 14:38:52 +0000
• 525b9c68cd Handle idris errors Nathan McCarty 2024-12-30 14:14:19 +0000
• 2784a7d80a Docs Nathan McCarty 2024-12-30 14:10:05 +0000
• ae73c9050d Fix string handling messup Nathan McCarty 2024-12-30 13:52:31 +0000
• f6c40813d2 Minor refactoring Nathan McCarty 2024-12-30 13:43:26 +0000
• 72393480e3 Basic IDE mode interface Nathan McCarty 2024-12-30 13:32:52 +0000
• c34c38fc03 Initial commit Nathan McCarty 2024-12-30 11:08:48 +0000