X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Outline;fp=Outline;h=c0b7ad263fda4f7bfb3702b7d8590a5f9faad698;hp=b9939ea271b8efb9a1aa821445ae2295cc70cb61;hb=747c2ba3d485fb5c3543e9435fbd3dff59ddb3f8;hpb=2c28bdc6ca8e883697d9640166bf17fb8a329cec

diff --git a/Outline b/Outline
index b9939ea..c0b7ad2 100644
--- 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