Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for liquidhaskell-0.8.2.0 candidate source tarball
liquidhaskell-0.8.2.0/docs/slides/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