It’s an SML clone, where from what I understand you have to prove that the code is safe, both memory wise, and like in general.
So you get rust level performance, multicore, dependant types, and SML syntax.
2 Likes