liquidhaskell-0.8.10.7: benchmarks/cse230/README.md

Retrieved from: https://github.com/ucsd-progsys/230-wi19-web/