5 lines
116 B
Markdown
5 lines
116 B
Markdown
# Idris 2 Personal Tooling
|
|
|
|
A bunch of personal tooling scripts for working with idris 2 projects written in raku.
|
|
|