3 ms·

One candidate is ATS [1]. Another, https://cakeml.org/ https://cakeml.org/ [1]: https://en.wikipedia.org/wiki/ATS_(programming_language) https://en.wikipedia.

by nine_k 1y ago

One candidate is ATS [1]. Another, https://cakeml.org/ https://cakeml.org/ [1]: https://en.wikipedia.org/wiki/ATS_(programming_language) https://en.wikipedia.org/wiki/ATS_(programming_language)