git.stderr.nl Git - matthijs/master-project/report.git/search

2009-06-10	Matthijs Kooijman	Make Core2Core depend on pret-lam.lua.	commit \| commitdiff \| tree
2009-06-10	Matthijs Kooijman	Add a sequence of examples for the new transformations.	commit \| commitdiff \| tree
2009-06-10	Matthijs Kooijman	Add a \trans command that uses the lam pretty printing.	commit \| commitdiff \| tree
2009-06-10	Matthijs Kooijman	Add support for pretty printing lambda calculus.	commit \| commitdiff \| tree
2009-06-10	Matthijs Kooijman	Use a custom selection of fonts.	commit \| commitdiff \| tree
2009-06-03	Matthijs Kooijman	Fix some typos.	commit \| commitdiff \| tree
2009-05-25	Matthijs Kooijman	Fix typo.	commit \| commitdiff \| tree
2009-05-20	Matthijs Kooijman	Add a SConstruct file for building Core2Core.pdf.	commit \| commitdiff \| tree
2009-05-20	Matthijs Kooijman	Add a few progress documents.	commit \| commitdiff \| tree
2009-05-20	Matthijs Kooijman	Add the latest version of the flat functions document.	commit \| commitdiff \| tree
2009-05-20	Matthijs Kooijman	Add initial version of the Core2Core document.	commit \| commitdiff \| tree

Master's thesis on the cλash compiler