# Idris 2 Personal Tooling

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