projects
/
matthijs
/
master-project
/
report.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Use η/β-expansion instead of η/β-abstraction.
[matthijs/master-project/report.git]
/
Chapters
/
Prototype.tex
2009-12-07
Matthijs Kooijman
Add Scrutinee binder removal.
blob
|
commitdiff
|
raw
2009-12-07
Matthijs Kooijman
Always use a lowercase letter after a colon.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-07
Matthijs Kooijman
Add an intermezzo about the id function.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-07
Matthijs Kooijman
Remove deprecated paragraph.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-07
Matthijs Kooijman
Use \VHDL\ (etc.) instead of relying on \autoinsertnext...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-07
Matthijs Kooijman
Say something about not using simplified core.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-07
Matthijs Kooijman
Add a section on simulation.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-07
Matthijs Kooijman
Fix things following from comments from Marco and Sabih.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-06
Matthijs Kooijman
Fix a lot of things following from Jan's comments.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-05
Matthijs Kooijman
Various small fixes following from Bert's commentaar.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-05
Matthijs Kooijman
Replace statement with expression everywhere.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-05
Matthijs Kooijman
Add another reference.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-04
Matthijs Kooijman
Note that we've not considered EDSLs and TH.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-04
Matthijs Kooijman
Finalize section on state in prototype chapter.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-04
Matthijs Kooijman
Partially update state annotations section in the proto...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-04
Matthijs Kooijman
Remove todo.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-04
Matthijs Kooijman
Make a small start on the state annotations section.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-01
Matthijs Kooijman
Use \$ instead of just $ in lambda expressions.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-01
Matthijs Kooijman
Document the use of type annotations on variable refere...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-01
Matthijs Kooijman
Change the symbol used for casting to ▶.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-30
Matthijs Kooijman
Add vim modelines.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-24
Matthijs Kooijman
Review the first few chapters.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-12
Matthijs Kooijman
Add two TODOs.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-12
Matthijs Kooijman
Add a section on the Core type system.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Matthijs Kooijman
Update outline.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Matthijs Kooijman
Fix source indentation.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Matthijs Kooijman
Promote the Output format subsection to a section.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Matthijs Kooijman
Add the prototype to the research goals.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Matthijs Kooijman
Properly escape ampersands.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-04
Matthijs Kooijman
Add a section on the output format.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-04
Matthijs Kooijman
Explicitely use "letrec" for recursive lets.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-30
Matthijs Kooijman
Add some extra outline to the Hardware Description...
blob
|
commitdiff
|
raw
|
diff to current
2009-10-26
Matthijs Kooijman
Finish state section in hardware description chapter.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-15
Matthijs Kooijman
Add a section on expressions in the Core language.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-05
Matthijs Kooijman
Put "VHDL" in small caps everywhere.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-29
Matthijs Kooijman
Add labels to all chapters.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-29
Matthijs Kooijman
Further expand the Prototype chapter.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-28
Matthijs Kooijman
Make a start with the prototype chapter.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-28
Matthijs Kooijman
Add outline for Prototype chapter.
blob
|
commitdiff
|
raw
|
diff to current