2 ms·F*: A Higher-Order Effectful Language Designed for Program Verification1 points by dkarapetyan 10y ago