[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Packaging Idris2
|
From: |
( |
|
Subject: |
Re: Packaging Idris2 |
|
Date: |
Fri, 19 Aug 2022 20:54:14 +0100 |
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.
-- (
- Packaging Idris2, Pierre-Henry Fröhring, 2022/08/19
- Re: Packaging Idris2,
( <=
- Re: Packaging Idris2, Pierre-Henry Fröhring, 2022/08/20
- Re: Packaging Idris2, Csepp, 2022/08/20
- Re: Packaging Idris2, Andreas Reuleaux, 2022/08/20
- Re: Packaging Idris2, (, 2022/08/21
- Re: Packaging Idris2, Csepp, 2022/08/21
- Re: Packaging Idris2, Andreas Reuleaux, 2022/08/21
- Re: Packaging Idris2, (, 2022/08/21
- Re: Packaging Idris2, (, 2022/08/21
- Re: Packaging Idris2, zimoun, 2022/08/21
- Re: Packaging Idris2, Philip McGrath, 2022/08/21