|
src
|
Printf post time
|
2025-02-11 18:24:34 -05:00 |
|
.gitignore
|
Move idris projects to right place
|
2025-01-20 21:54:54 -05:00 |
|
Idris.ipkg
|
Start of variadic printf post
|
2025-02-09 06:37:26 -05:00 |
|
pack.toml
|
Move idris projects to right place
|
2025-01-20 21:54:54 -05:00 |
