Subject: [bug#38605] [WIP MLton 0/1] Add MLton

From: zimoun <[email-masked]>
Date: Sun, 15 Dec 2019 02:59:47 +0100

Hi,

I am -- for sure -- not in topic. :-)

On Mon, 16 Dec 2019 at 11:03, Ludovic Courtès <[email-masked]> wrote:

> summit).  This sounds very much like programming language research
> question.

To my knowledge, the most advanced ML-family language able to
bootstrap (and verified with prover etc.) is CakeML (subset of
Standard ML).

(And not packaged in Guix, AFAICT.)

https://cakeml.org/

All the best,
simon