update

update
Merge branch 'master' of https://github.com/woailuo/hello-world

Conflicts:
	Syntax Semantics Typing.aux
	Syntax Semantics Typing.log
	Syntax Semantics Typing.pdf
	Syntax Semantics Typing.tex