2 ms·
What is it missing that something like SML has? Why couldn't I just switch from another language to this today, assuming I don't care about IDE support for it?
by tytytytytytytyt 9y ago
What is it missing that something like SML has? Why couldn't I just switch from another language to this today, assuming I don't care about IDE support for it?
- ZenoArrow 9y agoIf you're interested, and you don't care much about tooling, go for it: https://github.com/FStarLang/FStar/blob/master/INSTALL.md https://github.com/FStarLang/FStar/blob/master/INSTALL.md