Nathan McCarty 63e581ac03 Select from static format strings at runtime		2025-02-14 23:42:18 -05:00
..
src	Select from static format strings at runtime	2025-02-14 23:42:18 -05:00
.gitignore
Idris.ipkg
pack.toml