Directory listing for liquidhaskell-0.8.2.0 candidate source tarball
liquidhaskell-0.8.2.0/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/
- js/
- lib/
- plugin/
- test/
- 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/
- Galois2014/
- HS2014/
- 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/
- js/
- lib/
- plugin/
- test/
- img/
- lhs/
- LambdaConf15/
- NEU14/
- flops14/
- niki/
- plpv14/
- Makefile
- pdcreveal.tgz
- _support/
- hopa/
- 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/
- tmp/