We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9b3d3dc commit ac96664Copy full SHA for ac96664
rosette/guide/scribble/welcome/welcome.scrbl
@@ -37,8 +37,8 @@ Example Rosette programs can be found in the @tt{rosette/sdsl} folder. Most of
37
38
The Rosette system ships with two dialects of the Rosette language:
39
40
-@itemlist[@item{a @emph{safe} dialect, which is used throughout this guide, and}
41
- @item{an @emph{unsafe} dialect, which is briefly described in the @seclink["ch:unsafe"]{last chapter}.}]
+@itemlist[@item{a @emph{safe} dialect, which is used in most of this guide, and}
+ @item{an @emph{unsafe} dialect, which is briefly described in @seclink["ch:unsafe"]{Chapter 8}.}]
42
43
44
0 commit comments