projects / matthijs / master-project / report.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Remove explicit subscription underscores.
2009-08-27 Matthijs KooijmanRemove explicit subscription underscores.
 commit | commitdiff | tree
2009-08-27 Matthijs KooijmanUpdate normal form example.
 commit | commitdiff | tree
2009-08-27 Matthijs KooijmanLet all lambda expressions in pret-trans share subscript...
commit | commitdiff | tree
2009-08-27 Matthijs KooijmanLet pret-lam support blocks of multiple lambda expressions.
 commit | commitdiff | tree
2009-08-27 Matthijs KooijmanUse local variables for storing visualizer dicts.
 commit | commitdiff | tree
2009-08-27 Matthijs KooijmanImprove subscript handling in pret-lam.
 commit | commitdiff | tree
2009-08-27 Matthijs KooijmanMake pret-trans complain on invalid input.
 commit | commitdiff | tree
2009-08-27 Matthijs KooijmanUse the Linux Libertine roman font for regular text.
 commit | commitdiff | tree
2009-08-26 Matthijs KooijmanUse antykwa for math, and palatino for serif text.
 commit | commitdiff | tree
2009-08-26 Matthijs KooijmanMake pret-haskell work also for inline \types.
 commit | commitdiff | tree
2009-08-26 Matthijs KooijmanRemove two old (empty) chapter definitions.
 commit | commitdiff | tree
2009-08-26 Matthijs KooijmanRemove \stoptext from the Normalization chapter.
 commit | commitdiff | tree
2009-08-26 Matthijs KooijmanMake \hs print in monospaced.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanRemove a few debug prints from pret-trans.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanMake pret-lam work for \type{} as well.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanActually enable the Hardware description chapter.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanUpdate the pret-trans to current context beta.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanUpdate the pret-lam to current context beta.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanFix typo in SConstruct file.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanAdd a Hardware description chapter, that describes...
commit | commitdiff | tree
2009-08-25 Matthijs KooijmanMake Core2Core a chapter in the report.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanMake Report use globbing for dependencies.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanRemove debug print from pret-haskell.lua.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanDefine a \hs command for inline Haskell.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanFix a comment.
 commit | commitdiff | tree
2009-08-20 Matthijs KooijmanAdd some content to the State chapter.
 commit | commitdiff | tree
2009-08-20 Matthijs KooijmanAdd a haskell pretty printer.
 commit | commitdiff | tree
2009-07-30 Matthijs KooijmanUse AddPostAction for scp'ing Report.pdf.
 commit | commitdiff | tree
2009-07-28 Matthijs KooijmanTell scons about Report.tex.
 commit | commitdiff | tree
2009-07-28 Matthijs KooijmanActually use Shortcuts.tex.
 commit | commitdiff | tree
2009-07-28 Matthijs KooijmanRename shortcuts.tex to Shortcuts.tex
 commit | commitdiff | tree
2009-07-27 Matthijs KooijmanAdd some initial structure for the final report.
 commit | commitdiff | tree
2009-07-27 Matthijs KooijmanClean up SConstruct file.
 commit | commitdiff | tree
2009-07-27 Matthijs KooijmanUse the transformation pretty printer.
 commit | commitdiff | tree
2009-07-27 Matthijs KooijmanMake ~ a symbol in lambda calculus.
 commit | commitdiff | tree
2009-07-27 Matthijs KooijmanAdd transformation pretty printer.
 commit | commitdiff | tree
2009-07-02 Matthijs KooijmanAdd TODO.
 commit | commitdiff | tree
2009-07-01 Matthijs KooijmanAllow a word to start with uppercase letters too.
 commit | commitdiff | tree
2009-07-01 Matthijs KooijmanBriefly describe all other transforms.
 commit | commitdiff | tree
2009-07-01 Matthijs KooijmanUpdate and/or remove older text.
 commit | commitdiff | tree
2009-07-01 Matthijs KooijmanAdd some more transformations.
 commit | commitdiff | tree
2009-07-01 Matthijs KooijmanOnly allow a word to start with a-z in pret-lam.
 commit | commitdiff | tree
2009-06-30 Matthijs KooijmanAdd two transforms for argument simplification.
 commit | commitdiff | tree
2009-06-29 Matthijs KooijmanAdd and improve some transformations.
 commit | commitdiff | tree
2009-06-29 Matthijs KooijmanUpdate pret-lam to a new version of by begin/end_of_buffer...
commit | commitdiff | tree
2009-06-11 Matthijs KooijmanMake pret-lam remember subscripted words.
 commit | commitdiff | tree
2009-06-11 Matthijs KooijmanMake pret-lam support superscripts.
 commit | commitdiff | tree
2009-06-11 Matthijs KooijmanRestructure pret-lam.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanPrevent pret-lam from matching subwords.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanLet pret-lam recognize the * symbol.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanFormat the example sequence as lambda calculus.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanLet pret-lam recognize the "in" keyword.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanLet pret-lam escape _ characters.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanMake Core2Core depend on pret-lam.lua.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanAdd a sequence of examples for the new transformations.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanAdd a \trans command that uses the lam pretty printing.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanAdd support for pretty printing lambda calculus.
 commit | commitdiff | tree
2009-06-10 Matthijs KooijmanUse a custom selection of fonts.
 commit | commitdiff | tree
2009-06-03 Matthijs KooijmanFix some typos.
 commit | commitdiff | tree
2009-05-25 Matthijs KooijmanFix typo.
 commit | commitdiff | tree
2009-05-20 Matthijs KooijmanAdd a SConstruct file for building Core2Core.pdf.
 commit | commitdiff | tree
2009-05-20 Matthijs KooijmanAdd a few progress documents.
 commit | commitdiff | tree
2009-05-20 Matthijs KooijmanAdd the latest version of the flat functions document.
 commit | commitdiff | tree
2009-05-20 Matthijs KooijmanAdd initial version of the Core2Core document.
 commit | commitdiff | tree
Master's thesis on the cλash compiler