v0.1.8-alpha
Pre-release
Pre-release
Update README (#151) By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).