Exercises 2 and 3.
Exercises 3. More proofs.
Merge pull request #16 from matzipan/master

Added activities list. Improved page titles.
Merge pull request #18 from matzipan/master

Styled headings. Close #17
Merge branch 'exercises' of hilbert.dannyturner.net:~/Projects/hacksoc.github.com into exercises
Fix some motherflipping indentation.
Merge pull request #19 from DinCahill/master

Fix some motherflipping indentation.
Create gitignore to ignore emacs backups.
Merge pull request #20 from DinCahill/master

Create gitignore to ignore emacs backups.
Get rit of .gitignore.
Merge pull request #21 from DinCahill/master

No more gitignore! woo!
Merge branch 'master' into exercises
Updated the course page to reflect the new exercises and published solutions.
First bash at the solutions to the first exercises.
Merged latest changes from the exercises branch into master, with upstream changes.
Merge pull request #22 from TinnedTuna/master

Exercises Twooo
Correct prod' example
Merge pull request #23 from qlkzy/master

Fix result for prod' example
Solutions to exercises2.hs
Release the solutions and exercises!