3 ms·
Alternatively it could be what Microsoft Research does a lot which is take some subset of a language and add capabilities, like software verification with F*.
by patagurbon 7y ago
Alternatively it could be what Microsoft Research does a lot which is take some subset of a language and add capabilities, like software verification with F*.
- m4r35n357 7y agoWhich is pretty much what the posts you replied to said.