Augmenting Haskell's type system with the power of the Z3 theorem proveryoutube.com5 points·mightybyte··0 commentsOpen articleSaveView on HN