UCSD-PL/algorithmic-software-verification — pull request #15 by nikivazou (2013-05-31 08:06:55+00:00)
Title: update lec-refinement-types-2.markdown

Ranjit, let me know if you want me to change something.

Also, I observed that the well-formedness rules are not explicitly used in the typing rules,
so I added an invariant for the environment gamma that types should be well-formed.