Prototype development toolkit for idris

Nathan McCarty c34c38fc03 Initial commit		2024-12-30 11:08:48 +00:00
bin	Initial commit	2024-12-30 11:08:48 +00:00
lib/IUtils	Initial commit	2024-12-30 11:08:48 +00:00
.envrc	Initial commit	2024-12-30 11:08:48 +00:00
.gitignore	Initial commit	2024-12-30 11:08:48 +00:00
META6.json	Initial commit	2024-12-30 11:08:48 +00:00