Fix things following from comments from Marco and Sabih.

[matthijs/master-project/report.git] / Outline

diff --git a/Outline b/Outline
index b9939ea271b8efb9a1aa821445ae2295cc70cb61..c0b7ad263fda4f7bfb3702b7d8590a5f9faad698 100644 (file)
--- a/Outline
+++ b/Outline
@@ -66,3 +66,4 @@ TODO: Abstract
 TODO: Preface
 TODO: Footnote font has not lambda
 TODO: eta-abstraction -> expansion
+TODO: Top level function -> top level binder