6 ms·
Too theoretical, needs something practical in browser to live test.
by kungfooman 11y ago
Too theoretical, needs something practical in browser to live test.
- Retra 11y agoSo make it. You've got the theory right there.
- cyrus_ 11y agoI don't know about running them in a browser, but the related projects CakeML [1] and CompCert [2] are both pretty easy to download and run, and very featureful. [1] https://cakeml.org/ https://cakeml.org/ [2] http://compcert.inria.fr/compcert-C.html http://compcert.inria.fr/compcert-C.html