X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Outline;h=c0b7ad263fda4f7bfb3702b7d8590a5f9faad698;hp=b9939ea271b8efb9a1aa821445ae2295cc70cb61;hb=6e01e6853d46985a56ddbcfd7f280ed287627dc3;hpb=124f838008d9e63d36d6626ebeb453d9f83129dc 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