3 ms·
I'm pretty sure that the ML version of Rust is actually ATS. https://www.cs.bu.edu/~hwxi/atslangweb/ https://www.cs.bu.edu/~hwxi/atslangweb/
by hajile 3y ago
I'm pretty sure that the ML version of Rust is actually ATS.
https://www.cs.bu.edu/~hwxi/atslangweb/ https://www.cs.bu.edu/~hwxi/atslangweb/
- eterps 3y agoThanks, never heard of ATS before.