projects / matthijs / master-project / report.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18e2473) | patch
Restructure the introduction of the Normalization chapter.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 5 Oct 2009 12:17:07 +0000 (14:17 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 5 Oct 2009 12:17:07 +0000 (14:17 +0200)
commit21c8a86147c874c29156d1859a670c3f7c6df7ee
tree3a9a110fb80b2accb85e53eda27351594371e6b8tree | snapshot
parent18e247310fe31a0ab3696ee0f110cc078df0e132commit | diff
Restructure the introduction of the Normalization chapter.

It now builds up to the formal definition using smaller examples, which
should make the chapter more easy to understand.
Chapters/Normalization.tex diff | blob | history
Master's thesis on the cλash compiler