Directory listing for liquidhaskell-0.8.2.0 candidate source tarball
liquidhaskell-0.8.2.0/docs/
- blog/
- 2013-01-01-refinement-types-101.lhs
- 2013-01-27-refinements101-reax.lhs
- 2013-01-31-safely-catching-a-list-by-its-tail.lhs
- 2013-02-16-kmeans-clustering-I.lhs
- 2013-02-17-kmeans-clustering-II.lhs
- 2013-03-04-bounding-vectors.lhs
- 2013-03-26-talking-about-sets.lhs
- 2013-05-16-unique-zippers.lhs
- 2013-05-24-unique-zipper.lhs
- 2013-06-03-abstracting-over-refinements.lhs
- 2013-07-29-putting-things-in-order.lhs
- 2013-11-23-telling_lies.lhs
- 2013-12-01-getting-to-the-bottom.lhs
- 2013-12-02-getting-to-the-bottom.lhs
- 2013-12-09-checking-termination.lhs
- 2013-12-14-gcd.lhs
- 2013-12-22-measuring-the-size-of-structures.lhs
- 2013-12-24-lexicographic-termination.lhs
- 2013-12-29-decreasing-expressions.lhs
- 2014-02-11-the-advantage-of-measures.lhs
- 2014-02-16-text-read.lhs
- 2014-02-23-text-write.lhs
- 2014-03-01-text-bug.lhs
- 2014-05-28-pointers-gone-wild.lhs
- 2014-08-15-a-finer-filter.lhs
- 2015-01-30-okasakis-lazy-queue.lhs
- 2015-06-13-bounded-refinement-types.lhs
- 2016-09-01-normal-forms.lhs
- 2016-09-18-refinement-reflection.lhs
- 2016-10-06-structural-induction.lhs
- 2016-12-25-isomorphisms.lhs
- 2017-01-06-reductions.lhs
- 2017-03-20-arithmetic-overflows.lhs
- todo/
- Iso.lhs
- LambdaEval.hs
- Termination.hs
- TextBug.lhs
- TextInternal.lhs
- TextRead.lhs
- TextWrite.lhs
- basic_termination.lhs
- binary-search-trees.lhs
- encoding-induction.lhs
- index-dependent-maps.hs
- index-dependent-maps.lhs
- kmeans-full.lhs
- lets-talk-about-sets.lhs.markdown
- red-black-intro.lhs
- red-black-order.lhs
- telling-lies-old.lhs
- termination.lhs
- text-layout.png
- text-lifecycle.png
- verifying-efficient-sorting-algorithms.lhs
- language/
- 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/
- BOS14/
