• 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/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