Nathan McCarty 536f2ecbf9 Do some editing		2025-07-14 10:37:13 -04:00
..
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 id links to the headers and tweak link formatting	2025-07-12 01:25:55 -04:00