Re: Packaging Idris2

[contact]

Dear Guixers,

I've a working package of `idris2' here: 
<https://paste.debian.net/1251410/>.
It builds on previous work: <https://issues.guix.gnu.org/issue/49607>.
Would it help to send it to `guix-patc...@gnu.org'?
—PHF