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
-% TODO: Proper title page
-\title {Haskell as a higher order structural hardware description language.}
-Matthijs Kooijman
-
-\todo{Complete titlepage}
+\input Titlepage
 
 \completecontent
 \startfrontmatter
@@ -49,7 +45,6 @@ Matthijs Kooijman
 \input Chapters/Conclusions
 \stopbodymatter
 \startbackmatter
-\todo{The references are not numbered in this list?}
 \completepublications
 \stopbackmatter
 \stoptext