Liquid Haskell Tutorial BOB 2018, Berlin, 2018-02-23 Andres Löh Acknowledgements Thanks to the entire Liquid Haskell team for producing such a fantastic tool, including the interactive web environment used for this tutorial. Special thanks to Ranjit Jhala and Niki Vazou for tirelessly answering all my questions during the preparation of this tutorial. Contents 1. Introduction 1.1. What is Liquid H