[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Proposal] The Formal Methods in GNU Guix Working Group
|
From: |
Jan Nieuwenhuizen |
|
Subject: |
Re: [Proposal] The Formal Methods in GNU Guix Working Group |
|
Date: |
Sun, 29 Dec 2019 09:09:26 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Vicente Eduardo writes:
Hi Vincente,
> So it may make sense to write a small C compiler for Scheme and then
> write the ML bootstrap compiler in Scheme, similar to what Guix does
> to bootstrap itself with nyacc.
What is "a C compiler for Scheme"? We are working on a C compiler
written in Scheme, MesCC which is based on Nyacc; but that's not what
you propose to do?
Greetings,
janneke
--
Jan Nieuwenhuizen <address@hidden> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, (continued)
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Julien Lepiller, 2019/12/16
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Brett Gilio, 2019/12/16
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Ludovic Courtès, 2019/12/27
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Brett Gilio, 2019/12/27
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Ludovic Courtès, 2019/12/27
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Brett Gilio, 2019/12/27
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Ludovic Courtès, 2019/12/30
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Brett Gilio, 2019/12/31
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Amin Bandali, 2019/12/28
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Vicente Eduardo, 2019/12/28
- Re: [Proposal] The Formal Methods in GNU Guix Working Group,
Jan Nieuwenhuizen <=
Re: [Proposal] The Formal Methods in GNU Guix Working Group, Brett Gilio, 2019/12/16
Re: [Proposal] The Formal Methods in GNU Guix Working Group, zimoun, 2019/12/16
Re: [Proposal] The Formal Methods in GNU Guix Working Group, Brett Gilio, 2019/12/16
Re: [Proposal] The Formal Methods in GNU Guix Working Group, Jack Hill, 2019/12/16