Create README.md
Small typo.
Bind free variable in existence statement.
Update a reference.
State of the example is unknown.
Merge branch 'master' into compositio
Merge master.