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.
|
||
|
|
|