dd1579607a
Automatically search parent directories for the ipkg
2025-02-14 23:01:44 -05:00
1f4b8b3c03
oops
2025-01-26 20:30:24 -05:00
775652c6cf
Set %*SUB-MAIN-OPTS
2025-01-26 15:24:30 -05:00
f932ddcde5
Filtering by module name
2025-01-26 15:23:38 -05:00
75d955f666
Ignore envrc for now
2025-01-20 16:47:42 -05:00
0dbafc0cce
fix: Handle whitespace in more places
2025-01-19 23:01:52 -05:00
18ad8bcc99
Add support for markdown files as sources
2025-01-12 13:18:57 -05:00
3b8d8a4ecc
Remove envrc for now
2025-01-12 11:57:20 -05:00
b28b91d5d2
Working idris2 error detection
...
Idris 2 doesn't have a failing exit code in this context when it fails
to compile an expr given at the command line, we need to check for an
error message in the output
2025-01-02 00:00:13 -05:00
a0ba82ab38
Add example
2025-01-01 02:57:02 -05:00
c8acc534a9
Properly support multi-word test names
2024-12-31 20:55:29 -05:00
4b2c2eb4dd
Improve test running
...
Move test running to a method on the Test class and improve output
printing logic.
2024-12-31 19:08:42 -05:00
09ac7506ee
Implement support for IO Bool tests
2024-12-31 18:12:35 -05:00
c089685a2a
Update envrc
2024-12-31 17:28:21 -05:00
dcdaa374d7
Fix META6
2024-12-31 16:19:02 -05:00
5080b94b32
Fix final failed test count output being in the wrong place
2024-12-31 16:06:25 -05:00
f085e8e14b
Execute expressions properly
...
This way we can actually capture their execution status
2024-12-31 20:56:32 +00:00
6971949a53
Fix improper handling of expression name
2024-12-31 20:43:41 +00:00
cab0cb5ce1
clean up error display
2024-12-31 20:35:04 +00:00
c5ff918640
Failure reporting
2024-12-31 20:00:20 +00:00
013f8500df
Slightly colorized output
2024-12-31 19:32:50 +00:00
9bd0cc323f
Somewhat working test running
2024-12-31 19:13:24 +00:00
49c118eef4
Refactor compiler interaction
2024-12-31 16:30:53 +00:00
1bfe73f77a
Rename regex module
2024-12-31 16:28:24 +00:00
9e9903429e
Scanning checkpoint
2024-12-31 16:25:05 +00:00
a4e4c4a314
Minor tweaks
2024-12-31 16:04:33 +00:00
0a0596b143
Project enumeration
2024-12-31 15:49:13 +00:00
197dd79b34
Early functioning comment detection
2024-12-31 02:36:15 +00:00
ef58bb4810
Some utility methods
2024-12-30 14:38:52 +00:00
525b9c68cd
Handle idris errors
2024-12-30 14:14:19 +00:00
2784a7d80a
Docs
2024-12-30 14:10:05 +00:00
ae73c9050d
Fix string handling messup
2024-12-30 13:52:31 +00:00
f6c40813d2
Minor refactoring
2024-12-30 13:44:20 +00:00
72393480e3
Basic IDE mode interface
2024-12-30 13:32:52 +00:00
c34c38fc03
Initial commit
2024-12-30 11:08:48 +00:00
