3 ms·
If you are interesting in a programming language suitable for system level programming, and using proving techniques, maybe ATS would be of interest. https://w
by snaky 8y ago
If you are interesting in a programming language suitable for system level programming, and using proving techniques, maybe ATS would be of interest.
https://www.youtube.com/watch?v=zt0OQb1DBko https://www.youtube.com/watch?v=zt0OQb1DBko
https://bluishcoder.co.nz/tags/ats/index.html https://bluishcoder.co.nz/tags/ats/index.html