asdi
asdi
why is absref-crash.hs crashing?
fix for #253
works like a charm
asdaD
asdaD
reverting to Jan Stolarek's comparison style
re-flip orders to align with Jan Stolarek's version
tweaking abstract and title
fix for #254
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into errors

Conflicts:
	docs/slides/BOS14/hs/00_Refinements.hs