projects
/
matthijs
/
master-project
/
report.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
Add section about don't care values.
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