• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for liquidhaskell-0.8.0.2 candidate source tarball

liquidhaskell-0.8.0.2/docs/slides/

• BOS14/
  • Makefile
  • README.md
  • _support/
    • liquid.css
    • liquidhaskell.css
    • template.reveal
    • reveal.js/
      • .travis.yml
      • Gruntfile.js
      • LICENSE
      • README.md
      • index.html
      • package.json
      • css/
        • reveal.css
        • reveal.min.css
        • print/
          • paper.css
          • pdf.css
        • theme/
          • README.md
          • beige.css
          • blood.css
          • default.css
          • moon.css
          • night.css
          • seminar.css
          • seminar.orig.css
          • serif.css
          • simple.css
          • sky.css
          • solarized.css
          • source/
            • beige.scss
            • blood.scss
            • default.scss
            • moon.scss
            • night.scss
            • serif.scss
            • simple.scss
            • sky.scss
            • solarized.scss
          • template/
            • mixins.scss
            • settings.scss
            • theme.scss
      • js/
        • reveal.js
        • reveal.min.js
      • lib/
        • css/
          • zenburn.css
        • font/
          • league_gothic-webfont.eot
          • league_gothic-webfont.svg
          • league_gothic-webfont.ttf
          • league_gothic-webfont.woff
          • league_gothic_license
        • js/
          • classList.js
          • head.min.js
          • html5shiv.js
      • plugin/
        • highlight/
          • highlight.js
        • leap/
          • leap.js
        • markdown/
          • example.html
          • example.md
          • markdown.js
          • marked.js
        • math/
          • math.js
        • multiplex/
          • client.js
          • index.js
          • master.js
        • notes/
          • notes.html
          • notes.js
        • notes-server/
          • client.js
          • index.js
          • notes.html
        • postmessage/
          • example.html
          • postmessage.js
        • print-pdf/
          • print-pdf.js
        • remotes/
          • remotes.js
        • search/
          • search.js
        • zoom-js/
          • zoom.js
      • test/
        • qunit-1.12.0.css
        • qunit-1.12.0.js
        • test-markdown-element-attributes.html
        • test-markdown-element-attributes.js
        • test-markdown-slide-attributes.html
        • test-markdown-slide-attributes.js
        • test-markdown.html
        • test-markdown.js
        • test.html
        • test.js
        • examples/
          • barebones.html
          • embedded-media.html
          • math.html
          • slide-backgrounds.html
          • assets/
            • image1.png
            • image2.png
  • hs/
    • end/
      • 000_Refinements.hs
      • 001_Refinements.hs
      • 01_Elements.hs
      • 02_AbstractRefinements.hs
      • 03_Termination.hs
      • 04_Streams.hs
      • 05_Memory.hs
      • 06_Eval.hs
    • long/
      • AlphaConvert.hs
      • GhcListSort.hs
      • KMP.hs
      • RBTree-ord.hs
      • RBTree.hs
      • SoCalledHeartBleed.hs
    • start/
      • 000_Refinements.hs
      • 001_Refinements.hs
      • 01_Elements.hs
      • 02_AbstractRefinements.hs
      • 03_Termination.hs
      • 04_Streams.hs
      • 05_Memory.hs
      • 06_Eval-done.hs
      • 06_Eval.hs
  • img/
    • RedBlack.png
    • RobertMorris.png
    • bytestring.png
    • code-spec-indiv.png
    • code-spec-total.png
    • firstbug-crop.jpg
    • firstbug-crop2.jpg
    • firstbug.jpg
    • george-orwell.jpg
    • gotofail.png
    • heartbleed.png
    • minindex-classic.png
    • minindex-invariant.png
    • minindex-modern.png
    • minindex-reduce.png
    • overflow.png
    • rbtree-bad1.png
    • rbtree-bad2.png
    • rbtree-ok.png
    • tension0.png
    • tension1.png
    • tension2.png
    • tension3.png
    • termination-results.png
    • thoughtcrime.png
    • ungood-small.jpg
  • lhs/
    • 00_Motivation.lhs
    • 00_Motivation_Long.lhs
    • 01_SimpleRefinements.lhs
    • 02_Measures.lhs
    • 03_HigherOrderFunctions.lhs
    • 04_AbstractRefinements.lhs
    • 05_Composition.lhs
    • 06_Inductive.lhs
    • 07_Array.lhs
    • 08_Recursive.lhs
    • 09_Laziness.lhs
    • 10_Termination.lhs
    • 11_Evaluation.lhs
    • 12_Conclusion.lhs
    • 13_RedBlack.lhs
    • 14_Memory.lhs
    • Index-Boston-Haskell.lhs
    • Index-Tufts.lhs
    • Index.lhs
• ETH14/
  • Makefile
  • MkCode.hs
  • cleanup
  • _support/
    • liquid.css
    • liquidhaskell.css
    • template.reveal
    • reveal.js/
      • .travis.yml
      • Gruntfile.js
      • LICENSE
      • lib/
        • font/
          • league_gothic-webfont.eot
          • league_gothic-webfont.svg
          • league_gothic-webfont.ttf
          • league_gothic-webfont.woff
          • league_gothic_license
      • plugin/
        • highlight/
          • highlight.js
        • leap/
          • leap.js
        • markdown/
          • markdown.js
          • marked.js
        • math/
          • math.js
        • multiplex/
          • client.js
          • index.js
          • master.js
        • notes/
          • notes.js
        • notes-server/
          • client.js
          • index.js
        • postmessage/
          • postmessage.js
        • print-pdf/
          • print-pdf.js
        • remotes/
          • remotes.js
        • search/
          • search.js
        • zoom-js/
          • zoom.js
      • test/
        • qunit-1.12.0.css
        • qunit-1.12.0.js
        • test-markdown-element-attributes.js
        • test-markdown-slide-attributes.js
        • test-markdown.js
        • test.js
        • examples/
          • assets/
            • image1.png
            • image2.png
  • img/
    • RedBlack.png
    • minindex-classic.png
    • minindex-invariant.png
    • minindex-modern.png
    • minindex-reduce.png
    • tension0.png
    • tension1.png
    • tension2.png
    • tension3.png
  • lhs/
    • 00_Motivation.lhs
    • 01_SimpleRefinements.lhs
    • 02_Measures.lhs
    • 03_HigherOrderFunctions.lhs
    • 04_AbstractRefinements.lhs
    • 05_Composition.lhs
    • 06_Inductive.lhs
    • 07_Array.lhs
    • 08_Recursive.lhs
    • 09_Laziness.lhs
    • 10_Termination.lhs
    • 11_Evaluation.lhs
    • 12_Conclusion.lhs
    • Index.lhs
• Galois2014/
  • 000_Refinements.hs
  • 001_Refinements.hs
  • 01_Elements.hs
  • 05_Memory.hs
• HS2014/
  • Basics-blank.hs
  • Basics.lhs
  • ByteString-BAD-DIFFCHECK.hs
  • ByteString-blank.hs
  • ByteString.lhs
  • TODO.md
  • Totality-blank.hs
  • Totality.lhs
• IHP14/
  • Makefile
  • MkCode.hs
  • cleanup
  • _support/
    • .template2.reveal.swp
    • liquid.css
    • liquidhaskell.css
    • template.reveal
    • reveal.js/
      • .travis.yml
      • Gruntfile.js
      • LICENSE
      • README.md
      • index.html
      • package.json
      • css/
        • reveal.css
        • reveal.min.css
        • print/
          • paper.css
          • pdf.css
        • theme/
          • README.md
          • beige.css
          • blood.css
          • default.css
          • moon.css
          • night.css
          • seminar.css
          • seminar.orig.css
          • serif.css
          • simple.css
          • sky.css
          • solarized.css
          • source/
            • beige.scss
            • blood.scss
            • default.scss
            • moon.scss
            • night.scss
            • serif.scss
            • simple.scss
            • sky.scss
            • solarized.scss
          • template/
            • mixins.scss
            • settings.scss
            • theme.scss
      • js/
        • reveal.js
        • reveal.min.js
      • lib/
        • css/
          • zenburn.css
        • font/
          • league_gothic-webfont.eot
          • league_gothic-webfont.svg
          • league_gothic-webfont.ttf
          • league_gothic-webfont.woff
          • league_gothic_license
        • js/
          • classList.js
          • head.min.js
          • html5shiv.js
      • plugin/
        • highlight/
          • highlight.js
        • leap/
          • leap.js
        • markdown/
          • example.html
          • example.md
          • markdown.js
          • marked.js
        • math/
          • math.js
        • multiplex/
          • client.js
          • index.js
          • master.js
        • notes/
          • notes.html
          • notes.js
        • notes-server/
          • client.js
          • index.js
          • notes.html
        • postmessage/
          • example.html
          • postmessage.js
        • print-pdf/
          • print-pdf.js
        • remotes/
          • remotes.js
        • search/
          • search.js
        • zoom-js/
          • zoom.js
      • test/
        • qunit-1.12.0.css
        • qunit-1.12.0.js
        • test-markdown-element-attributes.html
        • test-markdown-element-attributes.js
        • test-markdown-slide-attributes.html
        • test-markdown-slide-attributes.js
        • test-markdown.html
        • test-markdown.js
        • test.html
        • test.js
        • examples/
          • barebones.html
          • embedded-media.html
          • math.html
          • slide-backgrounds.html
          • assets/
            • image1.png
            • image2.png
  • img/
    • RedBlack.png
    • tension0.png
    • tension1.png
    • tension2.png
    • tension3.png
  • lhs/
    • 00_Motivation_GoWrong.lhs
    • 00_Motivation_Logic.lhs
    • 01_SimpleRefinements.lhs
    • 02_Measures.lhs
    • 03_HigherOrderFunctions.lhs
    • 04_AbstractRefinements.lhs
    • 05_Composition.lhs
    • 06_Inductive.lhs
    • 07_Array.lhs
    • 08_Recursive.lhs
    • 09_Laziness.lhs
    • 10_Termination.lhs
    • 11_Evaluation.lhs
    • 12_Conclusion.lhs
    • Index.lhs
• LambdaConf15/
  • lhs/
    • 01_SimpleRefinements.lhs
• NEU14/
  • 00_Refinements-blank.hs
  • 00_Refinements.hs
  • 01_AbstractRefinements-blank.hs
  • 01_AbstractRefinements.hs
  • 02_Termination-blank.hs
  • 02_Termination.hs
  • AlphaConvert.hs
  • Eval.hs
  • RBTree.hs
• flops14/
  • Makefile
  • TODO.md
  • cleanup
  • _support/
    • liquid.css
    • template.reveal
    • reveal/
      • LICENSE
      • README.md
      • package.json
      • css/
        • liquidhaskell.css
        • main.css
        • print/
          • paper.css
          • pdf.css
        • theme/
          • beige.css
          • default.css
          • seminar.css
          • seminar.orig.css
          • serif.css
          • simple.css
          • sky.css
      • js/
        • .reveal.js.swo
        • .reveal.js.swp
        • .reveal.min.js.swo
        • .reveal.min.js.swp
        • reveal.js
        • reveal.min.js
      • lib/
        • css/
          • zenburn.css
        • font/
          • OpenSans-Regular.ttf
          • PT_Sans-Narrow-Web-Regular.ttf
          • league_gothic-webfont.ttf
        • js/
          • classList.js
          • data-markdown.js
          • head.min.js
          • highlight.js
          • html5shiv.js
          • showdown.js
      • plugin/
        • speakernotes/
          • client.js
          • index.js
          • notes.html
  • img/
    • RedBlack.png
  • lhs/
    • 00_Index.lhs
    • 01_SimpleRefinements.lhs
    • 02_Measures.lhs
    • 03_HigherOrderFunctions.lhs
    • 04_AbstractRefinements.lhs
    • 05_Composition.lhs
    • 06_Inductive.lhs
    • 07_Array.lhs
    • 08_Recursive.lhs
    • 09_Laziness.lhs
    • 10_Termination.lhs
    • 11_Evaluation.lhs
  • reveal.js/
    • .gitignore
    • .travis.yml
    • Gruntfile.js
    • LICENSE
    • lib/
      • font/
        • league_gothic-webfont.eot
        • league_gothic-webfont.svg
        • league_gothic-webfont.ttf
        • league_gothic-webfont.woff
        • league_gothic_license
    • plugin/
      • highlight/
        • highlight.js
      • leap/
        • leap.js
      • markdown/
        • markdown.js
        • marked.js
      • math/
        • math.js
      • multiplex/
        • client.js
        • index.js
        • master.js
      • notes/
        • notes.js
      • notes-server/
        • client.js
        • index.js
      • postmessage/
        • postmessage.js
      • print-pdf/
        • print-pdf.js
      • remotes/
        • remotes.js
      • search/
        • search.js
      • zoom-js/
        • zoom.js
    • test/
      • qunit-1.12.0.css
      • qunit-1.12.0.js
      • test-markdown-element-attributes.js
      • test-markdown-slide-attributes.js
      • test-markdown.js
      • test.js
      • examples/
        • assets/
          • image1.png
          • image2.png
• niki/
  • Makefile
  • fonts/
    • OFT.txt
    • PT_Mono-Regular.ttf
    • PT_Sans-Narrow-Web-Bold.ttf
    • PT_Sans-Narrow-Web-Regular.ttf
    • PT_Sans-Web-Bold.ttf
    • PT_Sans-Web-BoldItalic.ttf
    • PT_Sans-Web-Italic.ttf
    • PT_Sans-Web-Regular.ttf
  • html/
    • benchmarks.png
    • liquid.css
    • slides.css
    • fonts/
      • OFT.txt
      • PT_Mono-Regular.ttf
      • PT_Sans-Narrow-Web-Bold.ttf
      • PT_Sans-Narrow-Web-Regular.ttf
      • PT_Sans-Web-Bold.ttf
      • PT_Sans-Web-BoldItalic.ttf
      • PT_Sans-Web-Italic.ttf
      • PT_Sans-Web-Regular.ttf
  • lhs/
    • AbstractRefinements.lhs
    • Array.lhs
    • Composition.lhs
    • Inductive.lhs
    • Laziness.lhs
    • List.lhs
    • Loop.lhs
    • Measures.lhs
    • SimpleRefinements.lhs
    • liquid.css
    • slides.css
• plpv14/
  • Makefile
  • pdcreveal.tgz
  • _support/
    • liquid.css
    • template.reveal
    • reveal/
      • LICENSE
      • README.md
      • package.json
      • css/
        • liquidhaskell.css
        • main.css
        • print/
          • paper.css
          • pdf.css
        • theme/
          • beige.css
          • default.css
          • seminar.css
          • seminar.orig.css
          • serif.css
          • simple.css
          • sky.css
      • js/
        • .reveal.js.swo
        • .reveal.js.swp
        • .reveal.min.js.swo
        • .reveal.min.js.swp
        • reveal.js
        • reveal.min.js
      • lib/
        • css/
          • zenburn.css
        • font/
          • OpenSans-Regular.ttf
          • PT_Sans-Narrow-Web-Regular.ttf
          • league_gothic-webfont.ttf
        • js/
          • classList.js
          • data-markdown.js
          • head.min.js
          • highlight.js
          • html5shiv.js
          • showdown.js
      • plugin/
        • speakernotes/
          • client.js
          • index.js
          • notes.html
  • hopa/
    • AbstractRefinements.lhs
  • lhs/
    • .01_SimpleRefinements.lhs.swn
    • 00_Index.lhs
    • 00_Index.lhs.markdown
    • 01_SimpleRefinements.lhs
    • 01_SimpleRefinements.lhs.markdown
    • 02_Measures.lhs
    • 02_Measures.lhs.markdown
    • 03_HigherOrderFunctions.lhs
    • 03_HigherOrderFunctions.lhs.markdown
    • 04_AbstractRefinements.lhs
    • 04_AbstractRefinements.lhs.markdown
    • 05_Composition.lhs
    • 05_Composition.lhs.markdown
    • 06_Inductive.lhs
    • 06_Inductive.lhs.markdown
    • 07_Array.lhs
    • 07_Array.lhs.markdown
    • 08_Recursive.lhs
    • 08_Recursive.lhs.markdown
    • 09_Laziness.lhs
    • 09_Laziness.lhs.markdown
    • 10_Termination.lhs
    • 10_Termination.lhs.markdown
    • liquid.css
  • reveal.js/
    • .gitignore
    • .travis.yml
    • Gruntfile.js
    • LICENSE
    • lib/
      • font/
        • league_gothic-webfont.eot
        • league_gothic-webfont.svg
        • league_gothic-webfont.ttf
        • league_gothic-webfont.woff
        • league_gothic_license
    • plugin/
      • highlight/
        • highlight.js
      • leap/
        • leap.js
      • markdown/
        • markdown.js
        • marked.js
      • math/
        • math.js
      • multiplex/
        • client.js
        • index.js
        • master.js
      • notes/
        • notes.js
      • notes-server/
        • client.js
        • index.js
      • postmessage/
        • postmessage.js
      • print-pdf/
        • print-pdf.js
      • remotes/
        • remotes.js
      • search/
        • search.js
      • zoom-js/
        • zoom.js
    • test/
      • qunit-1.12.0.css
      • qunit-1.12.0.js
      • test-markdown-element-attributes.js
      • test-markdown-slide-attributes.js
      • test-markdown.js
      • test.js
      • examples/
        • assets/
          • image1.png
          • image2.png
  • tmp/
    • Foo.hs
    • liquid.css