X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Outline;h=b9939ea271b8efb9a1aa821445ae2295cc70cb61;hp=997276de107bf518d6e4d4e561396f5f84398984;hb=124f838008d9e63d36d6626ebeb453d9f83129dc;hpb=754983b9ff12abf4fd16b7f7a2d2bf7e0b024f0c diff --git a/Outline b/Outline index 997276d..b9939ea 100644 --- a/Outline +++ b/Outline @@ -64,4 +64,5 @@ TODO: Reorder future work. TODO: Future work: Use Cλash TODO: Abstract TODO: Preface -TOOD: Footnote font has not lambda +TODO: Footnote font has not lambda +TODO: eta-abstraction -> expansion