G goto.ucsd.edu Liquid Haskell: Haskell as a Theorem Prover [pdf] 199 points kumaranvpl 10 years ago 26 comments
