TODO: UPDATE the website with the new code
$ stack install pandoc pandoc-citeproc template
NOTE The PDF/HTML are sometimes not up-to-date with the latest LiquidHaskell release. Please clone the github repository and run locally for best results.
- Case Study: Okasaki's Lazy Queues
- Case Study: Associative Maps
- Case Study: Pointers & Bytes
- Case Study: AVL Trees
$ git clone --recursive https://github.com/ucsd-progsys/liquidhaskell-tutorial.git
$ cd liquidhaskell-tutorial/
$ stack install
$ export PATH=~/.local/bin:$PATH
$ stack exec -- liquid ./src/01-intro.lhs
$ stack exec -- liquid ./src/02-logic.lhs
$ stack exec -- liquid ./src/03-basic.lhs
$ stack exec -- liquid ./src/04-poly.lhs
$ stack exec -- liquid ./src/05-datatypes.lhs
$ stack exec -- liquid ./src/06-measure-bool.lhs
$ stack exec -- liquid ./src/07-measure-int.lhs
$ stack exec -- liquid ./src/08-measure-sets.lhs
$ stack exec -- liquid ./src/09-case-study-lazy-queues.lhs
$ stack exec -- liquid ./src/10-case-study-associative-maps.lhs
$ stack exec -- liquid ./src/11-case-study-pointers.lhs
$ stack exec -- liquid ./src/12-case-study-AVL.lhs
$ git pull origin master
$ git submodule update --recursive
$ stack install pandoc
$ cd ../ && git clone https://github.com/ucsd-progsys/liquid-client.git
$ git checkout master
$ make html
$ cp -r _site ~/tmp/
$ git checkout gh-pages
$ cp -r ~/tmp/* .
$ git commit -a
$ git push origin gh-pages
$ stack install pandoc pandoc-citeproc template
- Install LaTeX dependencies:
- Texlive
- texlive-latex-extra
- texlive-fonts-extra
To install LaTeX dependencies on Ubuntu 17.10
, following them:
$ sudo apt install -y texlive-latex-base texlive-latex-extra texlive-fonts-extra
$ make pdf
$ evince dist/pbook.pdf
Solutions are in separate private repo
A work list of TODO items can be found in the bug tracker
Editing feedback and various gotchas can be found in feedback.md