projects
/
matthijs
/
master-project
/
report.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Use η/β-expansion instead of η/β-abstraction.
[matthijs/master-project/report.git]
/
Report.tex
diff --git
a/Report.tex
b/Report.tex
index 3b7a80904dec41a23a4c07ecdfe5f090bfe939e7..5c67a8be9ba8831d1d54d3c38c6b037b40a429d1 100644
(file)
--- a/
Report.tex
+++ b/
Report.tex
@@
-30,11
+30,7
@@
%\switchtotypeface [Custom] [10pt]
\starttext
%\switchtotypeface [Custom] [10pt]
\starttext
-% TODO: Proper title page
-\title {Haskell as a higher order structural hardware description language.}
-Matthijs Kooijman
-
-\todo{Complete titlepage}
+\input Titlepage
\completecontent
\startfrontmatter
\completecontent
\startfrontmatter
@@
-49,7
+45,6
@@
Matthijs Kooijman
\input Chapters/Conclusions
\stopbodymatter
\startbackmatter
\input Chapters/Conclusions
\stopbodymatter
\startbackmatter
-\todo{The references are not numbered in this list?}
\completepublications
\stopbackmatter
\stoptext
\completepublications
\stopbackmatter
\stoptext