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

From: Ludovic Courtès <[email-masked]>
Date: Mon, 16 Dec 2019 22:23:39 +0100

Hi Simon,

zimoun <[email-masked]> skribis:

> 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/

Right, thanks for the pointer!  CakeML is truly impressive.  It’s also
nice to see how the tiny diagram to the right of the web page clearly
and succinctly describes its compiler/language tower.

Ludo’.