Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell) | Publicación