projects / matthijs / master-project / report.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Move a sidenote.
2009-12-07 Matthijs KooijmanMove a sidenote.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanDisable display of TODO's.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanUse η/β-expansion instead of η/β-abstraction.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanAdd Scrutinee binder removal.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanMove some examples around.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanActually refer to the intended normal form definition.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanSome more fixed resulting from Jan's comments.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanAlways use a lowercase letter after a colon.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanImprove some wordings.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanAdd sitenote about arguments vs. inputs.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanFix a reference.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanAdd intermezzo on wild binders.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanImprove the titlepage.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanAdd an intermezzo about the id function.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanAdd some content to the case normalization section.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanRemove deprecated paragraph.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanRemove TODO (links were made non-bold a few commits...
commit | commitdiff | tree
2009-12-07 Matthijs KooijmanMove references to the larger margin.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanUse \VHDL\ (etc.) instead of relying on \autoinsertnextspace.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanRemove TODO.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanSay something about not using simplified core.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanRemove some TODOs.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanAdd a section on simulation.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanUse normal style zeroes instead of using the sans font.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanDon't suggest messing with the clock input.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanMove the Template Haskell intermezzo a bit down.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanInvert the intermezzo offset.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanSet up doublesided margins and pagenumbering.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanPut one more 0 in another font.
 commit | commitdiff | tree
2009-12-07 Matthijs KooijmanFix things following from comments from Marco and Sabih.
 commit | commitdiff | tree
2009-12-06 Matthijs KooijmanAdd reference about Core's operational semantics.
 commit | commitdiff | tree
2009-12-06 Matthijs KooijmanFix a lot of things following from Jan's comments.
 commit | commitdiff | tree
2009-12-06 Matthijs KooijmanImprove strikethrough a bit.
 commit | commitdiff | tree
2009-12-06 Matthijs KooijmanRemove debug print from pret-lam.
 commit | commitdiff | tree
2009-12-06 Matthijs KooijmanLimit luatex to 500M of virtual memory.
 commit | commitdiff | tree
2009-12-06 Matthijs KooijmanMake a var local (again) in pret-lam.
 commit | commitdiff | tree
2009-12-06 Matthijs KooijmanPrettyprint comments in italic.
 commit | commitdiff | tree
2009-12-06 Matthijs KooijmanAdd strikethrough to the lambda prettyprinter.
 commit | commitdiff | tree
2009-12-06 Matthijs KooijmanAdd TODO.
 commit | commitdiff | tree
2009-12-05 Matthijs KooijmanVarious small fixes following from Bert's commentaar.
 commit | commitdiff | tree
2009-12-05 Matthijs KooijmanAdd backmatter commands.
 commit | commitdiff | tree
2009-12-05 Matthijs KooijmanRemove unused defref.
 commit | commitdiff | tree
2009-12-05 Matthijs KooijmanRemove a TODO.
 commit | commitdiff | tree
2009-12-05 Matthijs KooijmanReplace statement with expression everywhere.
 commit | commitdiff | tree
2009-12-05 Matthijs KooijmanAdd another reference.
 commit | commitdiff | tree
2009-12-05 Matthijs KooijmanAdd some references to the context chapter.
 commit | commitdiff | tree
2009-12-05 Matthijs KooijmanMake sure the list of references is numbered.
 commit | commitdiff | tree
2009-12-05 Matthijs KooijmanFix todo's in the introduction chapter.
 commit | commitdiff | tree
2009-12-05 Matthijs KooijmanAllow passing a once option to scons.
 commit | commitdiff | tree
2009-12-04 Matthijs KooijmanSetup bibtex.
 commit | commitdiff | tree
2009-12-04 Matthijs KooijmanAdd section on EDSLs.
 commit | commitdiff | tree
2009-12-04 Matthijs KooijmanNote that we've not considered EDSLs and TH.
 commit | commitdiff | tree
2009-12-04 Matthijs KooijmanFinalize section on state in prototype chapter.
 commit | commitdiff | tree
2009-12-04 Matthijs KooijmanPartially update state annotations section in the prototype...
commit | commitdiff | tree
2009-12-04 Matthijs KooijmanRequire an automatic subscript to start with a number.
 commit | commitdiff | tree
2009-12-04 Matthijs KooijmanRemove todo.
 commit | commitdiff | tree
2009-12-04 Matthijs KooijmanImprove graph representation section a bit.
 commit | commitdiff | tree
2009-12-04 Matthijs KooijmanRemove todo.
 commit | commitdiff | tree
2009-12-04 Matthijs KooijmanImprove conclusions.
 commit | commitdiff | tree
2009-12-04 Matthijs KooijmanMake a small start on the state annotations section.
 commit | commitdiff | tree
2009-12-03 Matthijs KooijmanNote the use of tuples for hierarchic state.
 commit | commitdiff | tree
2009-12-03 Matthijs KooijmanFix unbalanced parenthesises.
 commit | commitdiff | tree
2009-12-03 Matthijs KooijmanUpdate conclusions.
 commit | commitdiff | tree
2009-12-03 Matthijs KooijmanAdd a section on normalization of stateful descriptions.
 commit | commitdiff | tree
2009-12-03 Matthijs KooijmanAdd missing parenthesis.
 commit | commitdiff | tree
2009-12-03 Matthijs KooijmanAdd initial sketch for conclusions.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanReference the substitution intermezzo.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanAdd TODO.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanSolve and remove some todos.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanAdd an intermezzo about substitution.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanBuild the pdf only once each time.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanFix reference.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanFix typo.
 commit | commitdiff | tree
2009-12-02 Matthijs KooijmanMove some more stuff around in the Normalization chapter.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanFix two references.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanRename example function app2 to twice.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanUse \$ instead of just $ in lambda expressions.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanRestructure and expand parts of the normalization chapter.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanDocument the use of type annotations on variable references.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanRemove some whitespace.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanChange the symbol used for casting to ▶.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanSupport ▶ in the lambda prettyprinter.
 commit | commitdiff | tree
2009-12-01 Matthijs KooijmanAdd note about β-reduction for type variables.
 commit | commitdiff | tree
2009-11-30 Matthijs KooijmanRestructure some of the normalization chapter.
 commit | commitdiff | tree
2009-11-30 Matthijs KooijmanSome minor fixes and improvements.
 commit | commitdiff | tree
2009-11-30 Matthijs KooijmanPut a VHDL in smallcaps.
 commit | commitdiff | tree
2009-11-30 Matthijs KooijmanFix two references.
 commit | commitdiff | tree
2009-11-30 Matthijs KooijmanFinalize the proofs section.
 commit | commitdiff | tree
2009-11-30 Matthijs KooijmanAdd vim modelines.
 commit | commitdiff | tree
2009-11-27 Matthijs KooijmanReview more chapters.
 commit | commitdiff | tree
2009-11-26 Matthijs KooijmanFix typo in regex for subscripts.
 commit | commitdiff | tree
2009-11-24 Matthijs KooijmanReview the first few chapters.
 commit | commitdiff | tree
2009-11-24 Matthijs KooijmanUse the unicode rightwards arrow instead of \rightarrow.
 commit | commitdiff | tree
2009-11-24 Matthijs KooijmanSupport => in the lambda prettyprinter.
 commit | commitdiff | tree
2009-11-24 Matthijs KooijmanUse a non-breaking space instead of \obs in the lambda...
commit | commitdiff | tree
2009-11-24 Matthijs KooijmanPut DEFAULT in smallcaps in the lambda prettyprinter.
 commit | commitdiff | tree
2009-11-20 Matthijs KooijmanPrevent some shortcuts from gobbling the next space.
 commit | commitdiff | tree
2009-11-19 Matthijs KooijmanAdd (commented) lines to disable todo's and fixmes.
 commit | commitdiff | tree
2009-11-19 Matthijs KooijmanAdd (commented) lines for 2-up printing.
 commit | commitdiff | tree
2009-11-19 Matthijs KooijmanEnable the fixme module.
 commit | commitdiff | tree
next
Master's thesis on the cλash compiler