first commit
Started on exercise 1
1.13 complete. fromInt seems to be broken
1.15 done in a stupid way, 1.14 too hard for now
started on 1.17
chapter 1 examples done. still need to finish 1.17 and 1.14
added a nicer solution for 1.15, although took a look at answers.
1.14 done, with rather too much peeking
some exercises in chapter 2 done
Started chapter 3. Logic proofs are indeed a beautiful thing.
3.5 done
4.46, 4.47
uncommitted changes
Merge The Haskell Road to Logic, Maths and Programming