Gave it a play on QEMU, seems the latest image of Gloire (A simple UI variant of Ironclad) is not wanting to boot on my QEMU. Will give it a few months and play with it again, looks interesting enough.
Would definitely be an interesting contender for use in safety-critical environments where Ada/SPARK are favored.
Gave it a play on QEMU, seems the latest image of Gloire (A simple UI variant of Ironclad) is not wanting to boot on my QEMU. Will give it a few months and play with it again, looks interesting enough.
Would definitely be an interesting contender for use in safety-critical environments where Ada/SPARK are favored.
See also: https://news.ycombinator.com/item?id=45860843