Working on an example.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16222 bd178f5f-7bea-4014-844f-495ca19b8805
Proof read chapter on Freedom of Speech.  This makes headway on #1.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16223 bd178f5f-7bea-4014-844f-495ca19b8805
Just about down with an example program in Freedom of Speech that
suppose we have the div and isZero functions, and then defines a new
function called div-plus-2 which takes in two natural numbers and adds
two to the first number and then divides that by the second argument,
however, I use abort to abort the computation when the second argument
is zero.

To abort the computation I wrap the term abort in a lambda-abstraction,
and then I defined an abstraction of the Church-encoded booleans. The
abstraction is instead of just returning one of the two arguments in the
definition of true and false I allow a function to be applied to the
arguments.  So if isZero returns true -- of the abstracted booleans --
then I call true with my abort lambda.  Thus, the computation will
abort.  If it returns false, then I pass the identity function to false
along with the result of the division.

If anyone is interested see Example 7.0.1.18 on page 129 of the PDF.

So this is more progress on #1.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16224 bd178f5f-7bea-4014-844f-495ca19b8805
Proof read chapter on Freedom of Speech.  This makes headway on #1.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16226 bd178f5f-7bea-4014-844f-495ca19b8805
Testing a new setup.

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

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

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

Conflicts:
	paper/thesis.pdf

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16229 bd178f5f-7bea-4014-844f-495ca19b8805
This is a test commit.  I changed my setup a bit.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16230 bd178f5f-7bea-4014-844f-495ca19b8805
Finished the example I was working on.  It turns out to be pretty cool.

Progress on #1.

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

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

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16233 bd178f5f-7bea-4014-844f-495ca19b8805
Setup the section on the type system for freedom of speech (#1).

I decided to break up the typing rules into segments that I can explain
feature by feature.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16236 bd178f5f-7bea-4014-844f-495ca19b8805
Added some explanation of how the fragments of the PL can be considered
worlds.

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

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

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16270 bd178f5f-7bea-4014-844f-495ca19b8805
Proof read and made some corrections to what I wrote yesterday (#1).
Value restrictions explained! I should be writing about the design of
freedom of speech tomorrow! Progress on #1.