3 ms·F* would be useful in the same way Liquid Haskell would be useful.by platz 11y agoF* would be useful in the same way Liquid Haskell would be useful.