3800 . 1296 ./_site 1272 ./_cache 936 ./_site/files 936 ./files 608 ./_cache/Hakyll.Core.Compiler.runCompiler 348 ./_cache/Hakyll.Core.ResourceProvider.digestModified 232 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc 204 ./_site/articles 156 ./_cache/Hakyll.Core.Compiler.runCompiler/articles 148 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/articles 132 ./_cache/Hakyll.Core.Compiler.runCompiler/raw 128 ./_cache/Hakyll.Core.Compiler.runCompiler/raw/articles 80 ./articles 68 ./_cache/Hakyll.Core.ResourceProvider.digestModified/articles 64 ./_cache/Hakyll.Web.Template.templateCompilerWith 60 ./_cache/Hakyll.Web.Template.templateCompilerWith/templates 60 ./_cache/Hakyll.Core.ResourceProvider.digestModified/templates 60 ./_cache/Hakyll.Core.Compiler.runCompiler/templates 56 ./_cache/Hakyll.Core.ResourceProvider.digestModified/images 56 ./_cache/Hakyll.Core.Compiler.runCompiler/images 52 ./_site/images 52 ./images 44 ./_cache/Hakyll.Core.ResourceProvider.digestModified/images/projects 44 ./_cache/Hakyll.Core.Compiler.runCompiler/images/projects 36 ./_site/projects 36 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/articles/2011-04-04-firmin-javascript-animation.md 36 ./_cache/Hakyll.Core.ResourceProvider.digestModified/files 36 ./_cache/Hakyll.Core.Compiler.runCompiler/files 36 ./_cache/Hakyll.Core.Compiler.runCompiler/articles/2011-04-04-firmin-javascript-animation.md 32 ./templates 32 ./_site/images/projects 32 ./images/projects 32 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/articles/2011-04-11-arithmetic-godel-system-t.md 32 ./_cache/Hakyll.Core.Compiler.runCompiler/raw/articles/2011-04-04-firmin-javascript-animation.md 32 ./_cache/Hakyll.Core.Compiler.runCompiler/articles/2011-04-11-arithmetic-godel-system-t.md 28 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/projects 28 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/misc 28 ./_cache/Hakyll.Core.ResourceProvider.digestModified/projects 28 ./_cache/Hakyll.Core.ResourceProvider.digestModified/misc 28 ./_cache/Hakyll.Core.Compiler.runCompiler/projects 28 ./_cache/Hakyll.Core.Compiler.runCompiler/misc 20 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/articles/2011-03-16-howto-compile-nginx-passenger.md 20 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/articles/2010-08-21-currying-javascript.md 20 ./_cache/Hakyll.Core.Compiler.runCompiler/raw/articles/2011-04-11-arithmetic-godel-system-t.md 20 ./_cache/Hakyll.Core.Compiler.runCompiler/raw/articles/2011-03-16-howto-compile-nginx-passenger.md 20 ./_cache/Hakyll.Core.Compiler.runCompiler/articles/2011-03-16-howto-compile-nginx-passenger.md 20 ./_cache/Hakyll.Core.Compiler.runCompiler/articles/2010-08-21-currying-javascript.md 16 ./_site/misc 16 ./projects 16 ./misc 16 ./_cache/Hakyll.Core.Run.run 16 ./_cache/Hakyll.Core.Compiler.runCompiler/raw/articles/2010-08-21-currying-javascript.md 16 ./_cache/Hakyll.Core.Compiler.runCompiler/css 12 ./css 12 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/articles/2012-05-22-reverse-maths-constructivism-justification.md 12 ./_cache/Hakyll.Core.Run.run/dependencies 12 ./_cache/Hakyll.Core.ResourceProvider.digestModified/css 12 ./_cache/Hakyll.Core.Compiler.runCompiler/raw/articles/2012-05-22-reverse-maths-constructivism-justification.md 12 ./_cache/Hakyll.Core.Compiler.runCompiler/projects.html 12 ./_cache/Hakyll.Core.Compiler.runCompiler/index.html 12 ./_cache/Hakyll.Core.Compiler.runCompiler/css/main.css 12 ./_cache/Hakyll.Core.Compiler.runCompiler/articles.atom 12 ./_cache/Hakyll.Core.Compiler.runCompiler/articles/2012-05-22-reverse-maths-constructivism-justification.md 12 ./_cache/Hakyll.Core.Compiler.runCompiler/articles/2012-03-02-reverse-maths-intro.md 12 ./_cache/Hakyll.Core.Compiler.runCompiler/articles/2011-03-02-haskell-truth-tables.md 8 ./tasks 8 ./_site/research 8 ./_site/projects/papertrail 8 ./_site/projects/mobile 8 ./_site/projects/hatt 8 ./_site/css 8 ./_site/about 8 ./_cache/Hakyll.Web.Template.templateCompilerWith/templates/raw.txt 8 ./_cache/Hakyll.Web.Template.templateCompilerWith/templates/page.html 8 ./_cache/Hakyll.Web.Template.templateCompilerWith/templates/item.html 8 ./_cache/Hakyll.Web.Template.templateCompilerWith/templates/home.html 8 ./_cache/Hakyll.Web.Template.templateCompilerWith/templates/default.html 8 ./_cache/Hakyll.Web.Template.templateCompilerWith/templates/articles.html 8 ./_cache/Hakyll.Web.Template.templateCompilerWith/templates/article.html 8 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/research.md 8 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/projects/papertrail.md 8 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/projects/mobile.md 8 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/projects/hatt.md 8 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/misc/pkd.md 8 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/misc/notebooks.md 8 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/misc/coffee.md 8 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/blurb.md 8 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/articles/2012-03-05-formal-methods-2012.md 8 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/articles/2012-03-02-reverse-maths-intro.md 8 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/articles/2011-03-02-haskell-truth-tables.md 8 ./_cache/Hakyll.Web.Page.pageCompilerWithPandoc/about.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/templates/raw.txt 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/templates/page.html 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/templates/item.html 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/templates/home.html 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/templates/default.html 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/templates/articles.html 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/templates/article.html 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/robots.txt 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/research.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/projects/papertrail.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/projects/mobile.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/projects.html 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/projects/hatt.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/misc/pkd.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/misc/notebooks.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/misc/coffee.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/images/projects/wordpress.png 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/images/projects/tarski.png 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/images/projects/papertrail.png 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/images/projects/mobile.jpg 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/images/projects/miso.png 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/images/me.jpg 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/files/rm-handout-2011.pdf 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/files/fish-mobile-template.pdf 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/files/comprm-slides.pdf 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/files/compactness-lowenheim-skolem-2012.pdf 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/favicon.ico 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/css/main.css 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/blurb.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/articles/2012-05-22-reverse-maths-constructivism-justification.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/articles/2012-03-05-formal-methods-2012.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/articles/2012-03-02-reverse-maths-intro.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/articles/2011-04-11-arithmetic-godel-system-t.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/articles/2011-04-04-firmin-javascript-animation.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/articles/2011-03-16-howto-compile-nginx-passenger.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/articles/2011-03-02-haskell-truth-tables.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/articles/2010-08-21-currying-javascript.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/about.md 8 ./_cache/Hakyll.Core.ResourceProvider.digestModified/404.html 8 ./_cache/Hakyll.Core.Compiler.runCompiler/templates/raw.txt 8 ./_cache/Hakyll.Core.Compiler.runCompiler/templates/page.html 8 ./_cache/Hakyll.Core.Compiler.runCompiler/templates/item.html 8 ./_cache/Hakyll.Core.Compiler.runCompiler/templates/home.html 8 ./_cache/Hakyll.Core.Compiler.runCompiler/templates/default.html 8 ./_cache/Hakyll.Core.Compiler.runCompiler/templates/articles.html 8 ./_cache/Hakyll.Core.Compiler.runCompiler/templates/article.html 8 ./_cache/Hakyll.Core.Compiler.runCompiler/robots.txt 8 ./_cache/Hakyll.Core.Compiler.runCompiler/research.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/raw/articles/2012-03-05-formal-methods-2012.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/raw/articles/2012-03-02-reverse-maths-intro.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/raw/articles/2011-03-02-haskell-truth-tables.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/projects/papertrail.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/projects/mobile.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/projects/hatt.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/misc/pkd.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/misc/notebooks.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/misc/coffee.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/images/projects/wordpress.png 8 ./_cache/Hakyll.Core.Compiler.runCompiler/images/projects/tarski.png 8 ./_cache/Hakyll.Core.Compiler.runCompiler/images/projects/papertrail.png 8 ./_cache/Hakyll.Core.Compiler.runCompiler/images/projects/mobile.jpg 8 ./_cache/Hakyll.Core.Compiler.runCompiler/images/projects/miso.png 8 ./_cache/Hakyll.Core.Compiler.runCompiler/images/me.jpg 8 ./_cache/Hakyll.Core.Compiler.runCompiler/files/rm-handout-2011.pdf 8 ./_cache/Hakyll.Core.Compiler.runCompiler/files/fish-mobile-template.pdf 8 ./_cache/Hakyll.Core.Compiler.runCompiler/files/comprm-slides.pdf 8 ./_cache/Hakyll.Core.Compiler.runCompiler/files/compactness-lowenheim-skolem-2012.pdf 8 ./_cache/Hakyll.Core.Compiler.runCompiler/favicon.ico 8 ./_cache/Hakyll.Core.Compiler.runCompiler/blurb.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/articles.html 8 ./_cache/Hakyll.Core.Compiler.runCompiler/articles/2012-03-05-formal-methods-2012.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/about.md 8 ./_cache/Hakyll.Core.Compiler.runCompiler/404.html