Minor updates to README and doc.

vcanumalla · Apr 18, 2016 · 4b56ce7 · 4b56ce7
1 parent 1dd0113
commit 4b56ce7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -3,8 +3,7 @@ The Rosette Language
 
 [![Build Status](https://travis-ci.org/emina/rosette.svg?branch=master)](https://travis-ci.org/emina/rosette)
 
-This repository includes the source code for the Rosette solver-aided host language, as well as several example
-solver-aided DSLs.
+[Rosette](http://emina.github.io/rosette/) is a solver-aided programming language that extends [Racket](http://racket-lang.org) with language constructs for program synthesis, verification, and more. This repository includes the source code for Rosette, as well as several example solver-aided DSLs.
 
 ## Installing Rosette
 

diff --git a/rosette/doc/guide/scribble/reflection/value-reflection.scrbl b/rosette/doc/guide/scribble/reflection/value-reflection.scrbl
@@ -237,7 +237,7 @@ Experimenting is the best way to determine whether and where to insert
 performance-guiding @racket[for/all]s.
 }]}
 
-@defform[(for/all* ([id val-expr] ...+) body)]{
+@defform[(for*/all ([id val-expr] ...+) body)]{
 Expands to a nested use of @racket[for/all], 
 just like @racket[let*] expands to a nested use of @racket[let].}