Proof read and made some corrections to what I wrote yesterday (#1).

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16280 bd178f5f-7bea-4014-844f-495ca19b8805
Value restrictions explained! I should be writing about the design of
freedom of speech tomorrow! Progress on #1.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16281 bd178f5f-7bea-4014-844f-495ca19b8805
Explained the rules for equality.  Moving onto the rules for
contradictions (#1).

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16285 bd178f5f-7bea-4014-844f-495ca19b8805
Finished introducing the typing rules for contra and abort.  I am on the
last three rules for recursion (#1).

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16286 bd178f5f-7bea-4014-844f-495ca19b8805
Finished off writing about the design of freedom of speech!  It took a
lot of time trying to remember why we did what. All I have left for this
chapter is to write a concluding paragraph (#1).

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16288 bd178f5f-7bea-4014-844f-495ca19b8805
First draft of the chapter on the design of freedom of speech.  This
closes #1! Feels like I am starting to make progress.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16289 bd178f5f-7bea-4014-844f-495ca19b8805
Merge branch 'clc'

Conflicts:
	paper/free-speech/FS-design.tex