Idris/personal-tooling
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
personal-tooling/README.md

116 B
Raw Permalink Blame History

Idris 2 Personal Tooling

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