|
bin
|
Set %*SUB-MAIN-OPTS
|
2025-01-26 15:24:30 -05:00 |
|
examples/testy
|
Working idris2 error detection
|
2025-01-02 00:00:13 -05:00 |
|
lib
|
Filtering by module name
|
2025-01-26 15:23:38 -05:00 |
|
.gitignore
|
Ignore envrc for now
|
2025-01-20 16:47:42 -05:00 |
|
META6.json
|
Fix META6
|
2024-12-31 16:19:02 -05:00 |
