|
bin
|
Improve test running
|
2024-12-31 19:08:42 -05:00 |
|
examples/testy
|
Working idris2 error detection
|
2025-01-02 00:00:13 -05:00 |
|
lib
|
Add support for markdown files as sources
|
2025-01-12 13:18:57 -05:00 |
|
.gitignore
|
Update envrc
|
2024-12-31 17:28:21 -05:00 |
|
META6.json
|
Fix META6
|
2024-12-31 16:19:02 -05:00 |
