splitting off Evaluation into separate file
splitting off Evaluation into separate file
adding img directory
twiddle
adding img directory
adding img directory
done with twiddling
done with twiddling
done with twiddling
done with twiddling
done with twiddling
fix scripts/haskell_count, was reporting too many lines..
sigh

Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell