projects / matthijs / master-project / report.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
matthijs/master-project/report.git
2009-09-30 Matthijs KooijmanAdd TODO about globbed spaces after \eg and \ie. commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanMake the box randomization scale with the box size. commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanPut a fancy box around transformation examples as well. commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanTweak the sizes of the frames in transformations a... commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanAdd pretty boxes around various typing environments. commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanAdd labels to all chapters. commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanFurther expand the Prototype chapter. commit | commitdiff | tree | snapshot
2009-09-29 Matthijs KooijmanUse save instead of clearObj in a MP drawing. commit | commitdiff | tree | snapshot
2009-09-28 Matthijs KooijmanMake a start with the prototype chapter. commit | commitdiff | tree | snapshot
2009-09-28 Matthijs KooijmanAdd "New language" to the outline. commit | commitdiff | tree | snapshot
2009-09-28 Matthijs KooijmanAdd outline for Prototype chapter. commit | commitdiff | tree | snapshot
2009-09-24 Matthijs KooijmanAdd a section on research goals and an outline. commit | commitdiff | tree | snapshot
2009-09-24 Matthijs KooijmanUpdate outline. commit | commitdiff | tree | snapshot
2009-09-23 Matthijs KooijmanAdd a hack to make \overrightarrow work in MetaPost. commit | commitdiff | tree | snapshot
2009-09-23 Matthijs KooijmanDefine a custom "Register" MetaObj object. commit | commitdiff | tree | snapshot
2009-09-23 Matthijs KooijmanSet up MetaPost and MetaObj for drawing diagrams. commit | commitdiff | tree | snapshot
2009-09-23 Matthijs KooijmanRun texexec under nice. commit | commitdiff | tree | snapshot
2009-09-18 Matthijs KooijmanUse the moder math font, since it has vector arrows. commit | commitdiff | tree | snapshot
2009-09-16 Matthijs KooijmanActually use the Introduction chapter. commit | commitdiff | tree | snapshot
2009-09-16 Matthijs KooijmanUse old style numbers when available. commit | commitdiff | tree | snapshot
2009-09-09 Matthijs KooijmanAdd a brainstorm for an outline. commit | commitdiff | tree | snapshot
2009-09-09 Matthijs KooijmanAdd (a start of) an introduction). commit | commitdiff | tree | snapshot
2009-09-09 Matthijs KooijmanAdd a bit content to a new Future Work chapter. commit | commitdiff | tree | snapshot
2009-09-02 Matthijs KooijmanRemove the example sequence, it was completely out... commit | commitdiff | tree | snapshot
2009-09-02 Matthijs KooijmanImprove some text and add definitions in Normalization. commit | commitdiff | tree | snapshot
2009-09-02 Matthijs KooijmanAdd a small bit of whitespace beteen paragraphs. commit | commitdiff | tree | snapshot
2009-09-02 Matthijs KooijmanDefine \epmh{foo} for easy emphasis. commit | commitdiff | tree | snapshot
2009-09-02 Matthijs KooijmanAdd letrec and letnonrec as keywords to pret-lam. commit | commitdiff | tree | snapshot
2009-09-01 Matthijs KooijmanUpdate a bunch more transformations. commit | commitdiff | tree | snapshot
2009-08-31 Matthijs KooijmanAdd content to a bunch more transformations. commit | commitdiff | tree | snapshot
2009-08-31 Matthijs KooijmanReorder and complete the list of transformations. commit | commitdiff | tree | snapshot
2009-08-31 Matthijs KooijmanAdd a bit spacing after a transformation. commit | commitdiff | tree | snapshot
2009-08-28 Matthijs KooijmanAdd a new definition of the normal form. commit | commitdiff | tree | snapshot
2009-08-28 Matthijs KooijmanMake pret-lam preserve alignment using whitespace. commit | commitdiff | tree | snapshot
2009-08-28 Matthijs KooijmanDeclare variables as local in pret-lam. commit | commitdiff | tree | snapshot
2009-08-28 Matthijs KooijmanSupport the | character in pret-lam. commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanRemove explicit subscription underscores. commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanUpdate normal form example. commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanLet all lambda expressions in pret-trans share subscrip... commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanLet pret-lam support blocks of multiple lambda expressions. commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanUse local variables for storing visualizer dicts. commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanImprove subscript handling in pret-lam. commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanMake pret-trans complain on invalid input. commit | commitdiff | tree | snapshot
2009-08-27 Matthijs KooijmanUse the Linux Libertine roman font for regular text. commit | commitdiff | tree | snapshot
2009-08-26 Matthijs KooijmanUse antykwa for math, and palatino for serif text. commit | commitdiff | tree | snapshot
2009-08-26 Matthijs KooijmanMake pret-haskell work also for inline \types. commit | commitdiff | tree | snapshot
2009-08-26 Matthijs KooijmanRemove two old (empty) chapter definitions. commit | commitdiff | tree | snapshot
2009-08-26 Matthijs KooijmanRemove \stoptext from the Normalization chapter. commit | commitdiff | tree | snapshot
2009-08-26 Matthijs KooijmanMake \hs print in monospaced. commit | commitdiff | tree | snapshot
2009-08-25 Matthijs KooijmanRemove a few debug prints from pret-trans. commit | commitdiff | tree | snapshot
2009-08-25 Matthijs KooijmanMake pret-lam work for \type{} as well. commit | commitdiff | tree | snapshot
2009-08-25 Matthijs KooijmanActually enable the Hardware description chapter. commit | commitdiff | tree | snapshot
2009-08-25 Matthijs KooijmanUpdate the pret-trans to current context beta. commit | commitdiff | tree | snapshot
2009-08-25 Matthijs KooijmanUpdate the pret-lam to current context beta. commit | commitdiff | tree | snapshot
2009-08-25 Matthijs KooijmanFix typo in SConstruct file. commit | commitdiff | tree | snapshot
2009-08-25 Matthijs KooijmanAdd a Hardware description chapter, that describes... commit | commitdiff | tree | snapshot
2009-08-25 Matthijs KooijmanMake Core2Core a chapter in the report. commit | commitdiff | tree | snapshot
2009-08-25 Matthijs KooijmanMake Report use globbing for dependencies. commit | commitdiff | tree | snapshot
2009-08-25 Matthijs KooijmanRemove debug print from pret-haskell.lua. commit | commitdiff | tree | snapshot
2009-08-25 Matthijs KooijmanDefine a \hs command for inline Haskell. commit | commitdiff | tree | snapshot
2009-08-25 Matthijs KooijmanFix a comment. commit | commitdiff | tree | snapshot
2009-08-20 Matthijs KooijmanAdd some content to the State chapter. commit | commitdiff | tree | snapshot
2009-08-20 Matthijs KooijmanAdd a haskell pretty printer. commit | commitdiff | tree | snapshot
2009-07-30 Matthijs KooijmanUse AddPostAction for scp'ing Report.pdf. commit | commitdiff | tree | snapshot
2009-07-28 Matthijs KooijmanTell scons about Report.tex. commit | commitdiff | tree | snapshot
2009-07-28 Matthijs KooijmanActually use Shortcuts.tex. commit | commitdiff | tree | snapshot
2009-07-28 Matthijs KooijmanRename shortcuts.tex to Shortcuts.tex commit | commitdiff | tree | snapshot
2009-07-27 Matthijs KooijmanAdd some initial structure for the final report. commit | commitdiff | tree | snapshot
2009-07-27 Matthijs KooijmanClean up SConstruct file. commit | commitdiff | tree | snapshot
2009-07-27 Matthijs KooijmanUse the transformation pretty printer. commit | commitdiff | tree | snapshot
2009-07-27 Matthijs KooijmanMake ~ a symbol in lambda calculus. commit | commitdiff | tree | snapshot
2009-07-27 Matthijs KooijmanAdd transformation pretty printer. commit | commitdiff | tree | snapshot
2009-07-02 Matthijs KooijmanAdd TODO. commit | commitdiff | tree | snapshot
2009-07-01 Matthijs KooijmanAllow a word to start with uppercase letters too. commit | commitdiff | tree | snapshot
2009-07-01 Matthijs KooijmanBriefly describe all other transforms. commit | commitdiff | tree | snapshot
2009-07-01 Matthijs KooijmanUpdate and/or remove older text. commit | commitdiff | tree | snapshot
2009-07-01 Matthijs KooijmanAdd some more transformations. commit | commitdiff | tree | snapshot
2009-07-01 Matthijs KooijmanOnly allow a word to start with a-z in pret-lam. commit | commitdiff | tree | snapshot
2009-06-30 Matthijs KooijmanAdd two transforms for argument simplification. commit | commitdiff | tree | snapshot
2009-06-29 Matthijs KooijmanAdd and improve some transformations. commit | commitdiff | tree | snapshot
2009-06-29 Matthijs KooijmanUpdate pret-lam to a new version of by begin/end_of_buf... commit | commitdiff | tree | snapshot
2009-06-11 Matthijs KooijmanMake pret-lam remember subscripted words. commit | commitdiff | tree | snapshot
2009-06-11 Matthijs KooijmanMake pret-lam support superscripts. commit | commitdiff | tree | snapshot
2009-06-11 Matthijs KooijmanRestructure pret-lam. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanPrevent pret-lam from matching subwords. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanLet pret-lam recognize the * symbol. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanFormat the example sequence as lambda calculus. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanLet pret-lam recognize the "in" keyword. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanLet pret-lam escape _ characters. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanMake Core2Core depend on pret-lam.lua. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanAdd a sequence of examples for the new transformations. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanAdd a \trans command that uses the lam pretty printing. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanAdd support for pretty printing lambda calculus. commit | commitdiff | tree | snapshot
2009-06-10 Matthijs KooijmanUse a custom selection of fonts. commit | commitdiff | tree | snapshot
2009-06-03 Matthijs KooijmanFix some typos. commit | commitdiff | tree | snapshot
2009-05-25 Matthijs KooijmanFix typo. commit | commitdiff | tree | snapshot
2009-05-20 Matthijs KooijmanAdd a SConstruct file for building Core2Core.pdf. commit | commitdiff | tree | snapshot
2009-05-20 Matthijs KooijmanAdd a few progress documents. commit | commitdiff | tree | snapshot
2009-05-20 Matthijs KooijmanAdd the latest version of the flat functions document. commit | commitdiff | tree | snapshot
2009-05-20 Matthijs KooijmanAdd initial version of the Core2Core document. commit | commitdiff | tree | snapshot
Master's thesis on the cλash compiler