Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell). - Niki Vazou; Joachim Breitner; Will Kunkel; David Van Horn; Graham Hutton (CoRR, 2018)