Haskell and Proofs' book

Git gut. Also, write a summary of what i go learning on a ppt

Feb 18th - Apr 1st

Read the first chapter from the “how to prove it” book. Finish chapters 1, 2 and 3 from the haskell book (learn you a haskell)

Chapter 2 from proofs book. Chapters 4, 5 and 6 from the haskell book

Chapter 3 from proofs book (last week from proofs’ book). Chapters 7, 8 and 9 for haskell

Chapters 10, 11 and 12 from haskell book