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

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

2009-09-29	Matthijs Kooijman	Add pretty boxes around various typing environments.	commit \| commitdiff \| tree
2009-09-29	Matthijs Kooijman	Add labels to all chapters.	commit \| commitdiff \| tree
2009-09-29	Matthijs Kooijman	Further expand the Prototype chapter.	commit \| commitdiff \| tree
2009-09-29	Matthijs Kooijman	Use save instead of clearObj in a MP drawing.	commit \| commitdiff \| tree
2009-09-28	Matthijs Kooijman	Make a start with the prototype chapter.	commit \| commitdiff \| tree
2009-09-28	Matthijs Kooijman	Add "New language" to the outline.	commit \| commitdiff \| tree
2009-09-28	Matthijs Kooijman	Add outline for Prototype chapter.	commit \| commitdiff \| tree
2009-09-24	Matthijs Kooijman	Add a section on research goals and an outline.	commit \| commitdiff \| tree
2009-09-24	Matthijs Kooijman	Update outline.	commit \| commitdiff \| tree
2009-09-23	Matthijs Kooijman	Add a hack to make \overrightarrow work in MetaPost.	commit \| commitdiff \| tree
2009-09-23	Matthijs Kooijman	Define a custom "Register" MetaObj object.	commit \| commitdiff \| tree
2009-09-23	Matthijs Kooijman	Set up MetaPost and MetaObj for drawing diagrams.	commit \| commitdiff \| tree
2009-09-23	Matthijs Kooijman	Run texexec under nice.	commit \| commitdiff \| tree
2009-09-18	Matthijs Kooijman	Use the moder math font, since it has vector arrows.	commit \| commitdiff \| tree
2009-09-16	Matthijs Kooijman	Actually use the Introduction chapter.	commit \| commitdiff \| tree
2009-09-16	Matthijs Kooijman	Use old style numbers when available.	commit \| commitdiff \| tree
2009-09-09	Matthijs Kooijman	Add a brainstorm for an outline.	commit \| commitdiff \| tree
2009-09-09	Matthijs Kooijman	Add (a start of) an introduction).	commit \| commitdiff \| tree
2009-09-09	Matthijs Kooijman	Add a bit content to a new Future Work chapter.	commit \| commitdiff \| tree
2009-09-02	Matthijs Kooijman	Remove the example sequence, it was completely out...	commit \| commitdiff \| tree
2009-09-02	Matthijs Kooijman	Improve some text and add definitions in Normalization.	commit \| commitdiff \| tree
2009-09-02	Matthijs Kooijman	Add a small bit of whitespace beteen paragraphs.	commit \| commitdiff \| tree
2009-09-02	Matthijs Kooijman	Define \epmh{foo} for easy emphasis.	commit \| commitdiff \| tree
2009-09-02	Matthijs Kooijman	Add letrec and letnonrec as keywords to pret-lam.	commit \| commitdiff \| tree
2009-09-01	Matthijs Kooijman	Update a bunch more transformations.	commit \| commitdiff \| tree
2009-08-31	Matthijs Kooijman	Add content to a bunch more transformations.	commit \| commitdiff \| tree
2009-08-31	Matthijs Kooijman	Reorder and complete the list of transformations.	commit \| commitdiff \| tree
2009-08-31	Matthijs Kooijman	Add a bit spacing after a transformation.	commit \| commitdiff \| tree
2009-08-28	Matthijs Kooijman	Add a new definition of the normal form.	commit \| commitdiff \| tree
2009-08-28	Matthijs Kooijman	Make pret-lam preserve alignment using whitespace.	commit \| commitdiff \| tree
2009-08-28	Matthijs Kooijman	Declare variables as local in pret-lam.	commit \| commitdiff \| tree
2009-08-28	Matthijs Kooijman	Support the \| character in pret-lam.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Remove explicit subscription underscores.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Update normal form example.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Let all lambda expressions in pret-trans share subscript...	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Let pret-lam support blocks of multiple lambda expressions.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Use local variables for storing visualizer dicts.	commit \| commitdiff \| tree
2009-08-27	Matthijs Kooijman	Improve subscript handling in pret-lam.	commit \| commitdiff \| tree
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

Master's thesis on the cλash compiler

RSS Atom