Idris/personal-tooling
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
Personal tooling raku scripts for working with idris 2 projects
18 commits 1 branch 0 tags 730 KiB
Raku 89.8%
Dhall 10.2%
Find a file
Nathan McCarty 6721c82d25 Add readme and license
2024-12-28 09:52:36 +00:00
src multi command template 2024-12-22 18:58:20 +00:00
.gitignore Inital commit 2024-12-20 07:56:28 +00:00
LICENSE.mp3 Add readme and license 2024-12-28 09:52:36 +00:00
README.md Add readme and license 2024-12-28 09:52:36 +00:00

README.md

Idris 2 Personal Tooling

A bunch of personal tooling scripts for working with idris 2 projects written in raku.