4 ms·Augmenting Haskell's type system with the power of the Z3 theorem prover5 points by mightybyte 11y ago