\begin{code}
main = putStrLn "Easter Egg: to force Makefile"
\end{code}
{#ASD}
=======
Liquid Types For Haskell
------------------------
**Ranjit Jhala**
University of California, San Diego
Joint work with:
N. Vazou, E. Seidel, P. Rondon, D. Vytiniotis, S. Peyton-Jones
[[continue]](00_Motivation_Logic.lhs.slides.html)
Plan
----
+ Motivation
+
+
+
+
+
+
+