diff --git a/LICENSE.mp3 b/LICENSE.mp3 new file mode 100755 index 0000000..f0d308c Binary files /dev/null and b/LICENSE.mp3 differ diff --git a/README.md b/README.md new file mode 100644 index 0000000..9950690 --- /dev/null +++ b/README.md @@ -0,0 +1,4 @@ +# Idris 2 Personal Tooling + +A bunch of personal tooling scripts for working with idris 2 projects written in raku. +