Replace a starttyping with starthaskell.
[matthijs/master-project/report.git] / Chapters / Prototype.tex
2009-12-08 Matthijs KooijmanReplace a starttyping with starthaskell.
2009-12-07 Matthijs KooijmanAdd boxes around two figures.
2009-12-07 Matthijs KooijmanMisc fixes from own review.
2009-12-07 Matthijs KooijmanAdd a VHDL typing style (and some other fixes).
2009-12-07 Matthijs KooijmanAdd Scrutinee binder removal.
2009-12-07 Matthijs KooijmanAlways use a lowercase letter after a colon.
2009-12-07 Matthijs KooijmanAdd an intermezzo about the id function.
2009-12-07 Matthijs KooijmanRemove deprecated paragraph.
2009-12-07 Matthijs KooijmanUse \VHDL\ (etc.) instead of relying on \autoinsertnext...
2009-12-07 Matthijs KooijmanSay something about not using simplified core.
2009-12-07 Matthijs KooijmanAdd a section on simulation.
2009-12-07 Matthijs KooijmanFix things following from comments from Marco and Sabih.
2009-12-06 Matthijs KooijmanFix a lot of things following from Jan's comments.
2009-12-05 Matthijs KooijmanVarious small fixes following from Bert's commentaar.
2009-12-05 Matthijs KooijmanReplace statement with expression everywhere.
2009-12-05 Matthijs KooijmanAdd another reference.
2009-12-04 Matthijs KooijmanNote that we've not considered EDSLs and TH.
2009-12-04 Matthijs KooijmanFinalize section on state in prototype chapter.
2009-12-04 Matthijs KooijmanPartially update state annotations section in the proto...
2009-12-04 Matthijs KooijmanRemove todo.
2009-12-04 Matthijs KooijmanMake a small start on the state annotations section.
2009-12-01 Matthijs KooijmanUse \$ instead of just $ in lambda expressions.
2009-12-01 Matthijs KooijmanDocument the use of type annotations on variable refere...
2009-12-01 Matthijs KooijmanChange the symbol used for casting to ▶.
2009-11-30 Matthijs KooijmanAdd vim modelines.
2009-11-24 Matthijs KooijmanReview the first few chapters.
2009-11-12 Matthijs KooijmanAdd two TODOs.
2009-11-12 Matthijs KooijmanAdd a section on the Core type system.
2009-11-11 Matthijs KooijmanUpdate outline.
2009-11-11 Matthijs KooijmanFix source indentation.
2009-11-11 Matthijs KooijmanPromote the Output format subsection to a section.
2009-11-11 Matthijs KooijmanAdd the prototype to the research goals.
2009-11-11 Matthijs KooijmanProperly escape ampersands.
2009-11-04 Matthijs KooijmanAdd a section on the output format.
2009-11-04 Matthijs KooijmanExplicitely use "letrec" for recursive lets.
2009-10-30 Matthijs KooijmanAdd some extra outline to the Hardware Description...
2009-10-26 Matthijs KooijmanFinish state section in hardware description chapter.
2009-10-15 Matthijs KooijmanAdd a section on expressions in the Core language.
2009-10-05 Matthijs KooijmanPut "VHDL" in small caps everywhere.
2009-09-29 Matthijs KooijmanAdd labels to all chapters.
2009-09-29 Matthijs KooijmanFurther expand the Prototype chapter.
2009-09-28 Matthijs KooijmanMake a start with the prototype chapter.
2009-09-28 Matthijs KooijmanAdd outline for Prototype chapter.