projects / matthijs / master-project / report.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b1c2705) | patch
Reorder and complete the list of transformations.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 31 Aug 2009 16:32:35 +0000 (18:32 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 31 Aug 2009 16:32:35 +0000 (18:32 +0200)
commit4521ef7f14ae52781329c17250f67d25d9a67dca
tree85cbee961057e861fdae3005626410bcfd430f97tree | snapshot
parentb1c27052db81e091d16eae883d92a43ba207bb62commit | diff
Reorder and complete the list of transformations.

This does not add any content, except for updating β-reduction.
Chapters/Normalization.tex diff | blob | history
Master's thesis on the cλash compiler