projects / matthijs / master-project / report.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d84164) | patch
Add some stuff about provable properties of our system.
authorMatthijs Kooijman <matthijs@stdin.nl>
Fri, 30 Oct 2009 16:42:54 +0000 (17:42 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Fri, 30 Oct 2009 16:42:54 +0000 (17:42 +0100)
commitc684451040e76a69af0507381dd03ecc2b72d0f1
tree6f086af066286449efb30014227b4598aa512e73tree | snapshot
parent0d8416497fa7977a160dff8f63214ec6ebac1ac8commit | diff
Add some stuff about provable properties of our system.

This section is still incomplete, the actual (ideas for) proofs still need
to be written.
Chapters/Normalization.tex diff | blob | history
Master's thesis on the cλash compiler