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
sigh

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