Tony Finch
dot@dotat.at
https://dotat.at/
https://dotat.at/:/KZGF6.html
2016-11-25T08:20:00Z
CakeML: a formally verified implementation of ML.
2016‑11‑25
CakeML: a formally verified implementation of ML.
https://cakeml.org/
redirect
https://dotat.at/:/KZGF6
blurb
https://dotat.at/:/KZGF6.html
atom entry
https://dotat.at/:/KZGF6.atom
wayback machine
web.archive.org
]]>