drvinceknight
commented
9 years ago This PR is now updated with my latest comments since the latest write up:
- Some sections needing tidying being pointed out;
- Spell check (set that up on your editor)
- Comments about some image things
These commits include changes/comments for the report as well as moving over to the paper (I checked out the paper from the paper branch) for the proofs.
I might have gotten lazy towards the end so we can talk about some of my comments if helpful.