|
src
|
Freshlist checkpoint
|
2025-03-16 17:44:58 -04:00 |
|
.gitignore
|
Move idris projects to right place
|
2025-01-20 21:54:54 -05:00 |
|
Idris.ipkg
|
FreshLists skeleton
|
2025-03-15 18:22:52 -04:00 |
|
pack.toml
|
Move idris projects to right place
|
2025-01-20 21:54:54 -05:00 |
