add tutorial on liquidHaskell

[nikivazou]

from http://goto.ucsd.edu/~nvazou/liquidtutorial/index.html

[ranjitjhala]

Niki I will merge this when I get to my laptop but can you also add the relevant sources to the docs/ directory of the LH repo? Thanks! Ranjit

On Dec 28, 2013, at 3:33 PM, Niki Vazou [email protected] wrote:

from http://goto.ucsd.edu/~nvazou/liquidtutorial/index.html

You can merge this Pull Request by running

git pull https://github.com/nikivazou/liquidhaskell-blog master
Or view, comment on, or merge it at:

#1

Commit Summary

add tutorial on liquidHaskell
File Changes

M source/about/index.markdown (1)
Patch Links:

https://github.com/UCSD-PL/liquidhaskell-blog/pull/1.patch
https://github.com/UCSD-PL/liquidhaskell-blog/pull/1.diff

[nikivazou]

It is in the docs/tutorial.
It contains the slides from both haskell and HOPA presentations