Hi Pierre-Henry, On Fri Aug 19, 2022 at 4:42 PM BST, Pierre-Henry Fröhring wrote: > The package so for looks like this:
I'm afraid I can't answer your specific question, but I do know that
Idris2 contains pregenerated Scheme code; you'll want to figure out
how to build it from Idris1, which is already packaged in Guix.
-- (
