|
src
|
Do some editing
|
2025-07-14 10:37:13 -04:00 |
|
.gitignore
|
Move idris projects to right place
|
2025-01-20 21:54:54 -05:00 |
|
Idris.ipkg
|
Checkpoint draft
|
2025-07-09 20:00:02 -04:00 |
|
pack.toml
|
Move idris projects to right place
|
2025-01-20 21:54:54 -05:00 |
|
todo.org
|
add todo
|
2025-07-15 01:49:52 -04:00 |
