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

projects / matthijs / master-project / report.git / search

2009-08-27	Matthijs Kooijman	Make pret-trans complain on invalid input.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Use the Linux Libertine roman font for regular text.	commit \| commitdiff \| tree
2009-08-26	Matthijs Kooijman	Use antykwa for math, and palatino for serif text.	commit \| commitdiff \| tree
2009-08-26	Matthijs Kooijman	Make pret-haskell work also for inline \types.	commit \| commitdiff \| tree
2009-08-26	Matthijs Kooijman	Remove two old (empty) chapter definitions.	commit \| commitdiff \| tree
2009-08-26	Matthijs Kooijman	Remove \stoptext from the Normalization chapter.	commit \| commitdiff \| tree
2009-08-26	Matthijs Kooijman	Make \hs print in monospaced.	commit \| commitdiff \| tree
2009-08-25	Matthijs Kooijman	Remove a few debug prints from pret-trans.	commit \| commitdiff \| tree
2009-08-25	Matthijs Kooijman	Make pret-lam work for \type{} as well.	commit \| commitdiff \| tree
2009-08-25	Matthijs Kooijman	Actually enable the Hardware description chapter.	commit \| commitdiff \| tree
2009-08-25	Matthijs Kooijman	Update the pret-trans to current context beta.	commit \| commitdiff \| tree
2009-08-25	Matthijs Kooijman	Update the pret-lam to current context beta.	commit \| commitdiff \| tree
2009-08-25	Matthijs Kooijman	Fix typo in SConstruct file.	commit \| commitdiff \| tree
2009-08-25	Matthijs Kooijman	Add a Hardware description chapter, that describes...	commit \| commitdiff \| tree
2009-08-25	Matthijs Kooijman	Make Core2Core a chapter in the report.	commit \| commitdiff \| tree
2009-08-25	Matthijs Kooijman	Make Report use globbing for dependencies.	commit \| commitdiff \| tree
2009-08-25	Matthijs Kooijman	Remove debug print from pret-haskell.lua.	commit \| commitdiff \| tree
2009-08-25	Matthijs Kooijman	Define a \hs command for inline Haskell.	commit \| commitdiff \| tree
2009-08-25	Matthijs Kooijman	Fix a comment.	commit \| commitdiff \| tree
2009-08-20	Matthijs Kooijman	Add some content to the State chapter.	commit \| commitdiff \| tree
2009-08-20	Matthijs Kooijman	Add a haskell pretty printer.	commit \| commitdiff \| tree
2009-07-30	Matthijs Kooijman	Use AddPostAction for scp'ing Report.pdf.	commit \| commitdiff \| tree
2009-07-28	Matthijs Kooijman	Tell scons about Report.tex.	commit \| commitdiff \| tree
2009-07-28	Matthijs Kooijman	Actually use Shortcuts.tex.	commit \| commitdiff \| tree
2009-07-28	Matthijs Kooijman	Rename shortcuts.tex to Shortcuts.tex	commit \| commitdiff \| tree
2009-07-27	Matthijs Kooijman	Add some initial structure for the final report.	commit \| commitdiff \| tree
2009-07-27	Matthijs Kooijman	Clean up SConstruct file.	commit \| commitdiff \| tree
2009-07-27	Matthijs Kooijman	Use the transformation pretty printer.	commit \| commitdiff \| tree
2009-07-27	Matthijs Kooijman	Make ~ a symbol in lambda calculus.	commit \| commitdiff \| tree
2009-07-27	Matthijs Kooijman	Add transformation pretty printer.	commit \| commitdiff \| tree
2009-07-02	Matthijs Kooijman	Add TODO.	commit \| commitdiff \| tree
2009-07-01	Matthijs Kooijman	Allow a word to start with uppercase letters too.	commit \| commitdiff \| tree
2009-07-01	Matthijs Kooijman	Briefly describe all other transforms.	commit \| commitdiff \| tree
2009-07-01	Matthijs Kooijman	Update and/or remove older text.	commit \| commitdiff \| tree
2009-07-01	Matthijs Kooijman	Add some more transformations.	commit \| commitdiff \| tree
2009-07-01	Matthijs Kooijman	Only allow a word to start with a-z in pret-lam.	commit \| commitdiff \| tree
2009-06-30	Matthijs Kooijman	Add two transforms for argument simplification.	commit \| commitdiff \| tree
2009-06-29	Matthijs Kooijman	Add and improve some transformations.	commit \| commitdiff \| tree
2009-06-29	Matthijs Kooijman	Update pret-lam to a new version of by begin/end_of_buffer...	commit \| commitdiff \| tree
2009-06-11	Matthijs Kooijman	Make pret-lam remember subscripted words.	commit \| commitdiff \| tree
2009-06-11	Matthijs Kooijman	Make pret-lam support superscripts.	commit \| commitdiff \| tree
2009-06-11	Matthijs Kooijman	Restructure pret-lam.	commit \| commitdiff \| tree
2009-06-10	Matthijs Kooijman	Prevent pret-lam from matching subwords.	commit \| commitdiff \| tree
2009-06-10	Matthijs Kooijman	Let pret-lam recognize the * symbol.	commit \| commitdiff \| tree
2009-06-10	Matthijs Kooijman	Format the example sequence as lambda calculus.	commit \| commitdiff \| tree
2009-06-10	Matthijs Kooijman	Let pret-lam recognize the "in" keyword.	commit \| commitdiff \| tree
2009-06-10	Matthijs Kooijman	Let pret-lam escape _ characters.	commit \| commitdiff \| tree
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

RSS Atom