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