|
bin
|
oops
|
2025-01-26 20:30:24 -05:00 |
|
examples/testy
|
Working idris2 error detection
|
2025-01-02 00:00:13 -05:00 |
|
lib
|
Automatically search parent directories for the ipkg
|
2025-02-14 23:01:44 -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 |
