Prototype development toolkit for idris
Find a file
2024-12-31 19:32:50 +00:00
bin Slightly colorized output 2024-12-31 19:32:50 +00:00
lib Somewhat working test running 2024-12-31 19:13:24 +00:00
.envrc Initial commit 2024-12-30 11:08:48 +00:00
.gitignore Basic IDE mode interface 2024-12-30 13:32:52 +00:00
META6.json Slightly colorized output 2024-12-31 19:32:50 +00:00