Move contrib guide to own file.
Draft of the reading list.
Merge branch 'develop' of github.com:learnmath/lysa into develop
Merge branch 'develop' into feature/contrib-guide
Removed my reading list
Merge branch 'feature/contrib-guide' into develop
Add the Latin Modern fonts
Add LM Roman font to the default style.
add lm roman rules for bold, italic, h*, pre
Merge branch 'feature/lmroman' into develop
make main.hs executable
Remove the web stuff
Add an initial pdf version
Worked on the first chapter a bit.
Edit the README.
Rewrite the contributing guide.
Add blank Peano Axioms chapter.
Merge branch 'feature/backtopdf' into develop
Merge branch 'feature/backtopdf' into develop
Merge branch 'develop' of github.com:pharpend/lysa into develop