fix for #251
errorstar to proper errors
"fix" Base
minor
fix Lazy
minor
shuffling files
asdasd
adding demo files for NEU talk
add
ASDASD
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into errors

Conflicts:
	docs/slides/BOS14/hs/00_Refinements.hs
SA
adding Lazy annotations on Lazy
Merge pull request #252 from ucsd-progsys/errors

fix for #251: turn termination warnings to errors
asd
Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
adding kmp.hs to todo
get rid of RCls: 53 failing tests
adding funrec.hs
ok, FldBug.hs is definitely something to be fixed.