[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#38605] [WIP MLton 0/1] Add MLton
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#38605] [WIP MLton 0/1] Add MLton |
|
Date: |
Mon, 16 Dec 2019 22:23:39 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hi Simon,
zimoun <address@hidden> 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’.
- [bug#38605] [WIP MLton 0/1] Add MLton, Brett Gilio, 2019/12/13
- [bug#38605] [WIP MLton 1/1] gnu: Add mlton., Brett Gilio, 2019/12/13
- [bug#38605] [WIP MLton 0/1] Add MLton, Ludovic Courtès, 2019/12/14
- [bug#38605] [WIP MLton 0/1] Add MLton, Brett Gilio, 2019/12/15
- [bug#38605] [WIP MLton 0/1] Add MLton, Ludovic Courtès, 2019/12/16
- [bug#38605] [WIP MLton 0/1] Add MLton, zimoun, 2019/12/16
- [bug#38605] [WIP MLton 0/1] Add MLton,
Ludovic Courtès <=
- [bug#38605] [WIP MLton 0/1] Add MLton, Brett Gilio, 2019/12/16
- [bug#38605] [WIP MLton 0/1] Add MLton, zimoun, 2019/12/17
- [bug#38605] [WIP MLton 0/1] Add MLton, Ludovic Courtès, 2019/12/18
- [bug#38605] [WIP MLton 0/1] Add MLton, Brett Gilio, 2019/12/20