projects / matthijs / master-project / report.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix layout of a transformation.
2009-09-02 Matthijs KooijmanDefine \epmh{foo} for easy emphasis.
 commit | commitdiff | tree
2009-09-02 Matthijs KooijmanAdd letrec and letnonrec as keywords to pret-lam.
 commit | commitdiff | tree
2009-09-01 Matthijs KooijmanUpdate a bunch more transformations.
 commit | commitdiff | tree
2009-08-31 Matthijs KooijmanAdd content to a bunch more transformations.
 commit | commitdiff | tree
2009-08-31 Matthijs KooijmanReorder and complete the list of transformations.
 commit | commitdiff | tree
2009-08-31 Matthijs KooijmanAdd a bit spacing after a transformation.
 commit | commitdiff | tree
2009-08-28 Matthijs KooijmanAdd a new definition of the normal form.
 commit | commitdiff | tree
2009-08-28 Matthijs KooijmanMake pret-lam preserve alignment using whitespace.
 commit | commitdiff | tree
2009-08-28 Matthijs KooijmanDeclare variables as local in pret-lam.
 commit | commitdiff | tree
2009-08-28 Matthijs KooijmanSupport the | character in pret-lam.
 commit | commitdiff | tree
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
Master's thesis on the cλash compiler