projects / matthijs / master-project / report.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee64b2e) | patch
Add an intermezzo about substitution.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 2 Dec 2009 14:50:42 +0000 (15:50 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 2 Dec 2009 14:50:42 +0000 (15:50 +0100)
commit68e92ccd2b456b9ce81b0617417bc8abdaff6fa3
treeb668e7d8d4dea85730e4380984d532c2f9eaaecatree | snapshot
parentee64b2e24b792c580ba5c0bfa38c5ed642800945commit | diff
Add an intermezzo about substitution.

This is the first attempt at an intermezzo, which is not quite ideal yet,
but it works for now.
Chapters/Normalization.tex diff | blob | history
Utils/Lambda.tex diff | blob | history
Master's thesis on the cλash compiler