4 ms·F*: A Higher-Order Effectful Language Designed for Program Verification5 points by mabynogy 10y ago