haskell_road_to_logic_and_math This is a repo where I will record my progress following along the book Haskell Road to Math, Logic and Programming.