first round of changes
Update lec-refinement-types-2.markdown
Update lec-refinement-types-2.markdown
make it build with beamer
Merge pull request #15 from nikivazou/master

update lec-refinement-types-2.markdown