[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Proposal] The Formal Methods in GNU Guix Working Group
|
From: |
zimoun |
|
Subject: |
Re: [Proposal] The Formal Methods in GNU Guix Working Group |
|
Date: |
Wed, 12 Feb 2020 15:16:47 +0100 |
Dear,
On Wed, 12 Feb 2020 at 13:03, Orians, Jeremiah (DTMB)
<address@hidden> wrote:
> We also have a scheme bootstrappable from nothing written in C
> https://github.com/oriansj/mes-m2
> https://github.com/oriansj/mescc-tools-seed
The term "nothing" is mitigated; i.e. "nothing" means: a booted system
running a (linux) kernel. Right?
Thank you for all your contributions!
e.g., hex0 is amazing! :-)
All the best,
simon