suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

website moved

Browse Source 
svn: r11101
This commit is contained in:
Eli Barzilay 2008-08-06 06:16:31 +00:00
parent 8d6438c526
commit b62d79045e
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/redex/redex.scrbl
View File

@ -82,10 +82,9 @@ reduction semantics, plus a suite of tools for working with the
semantics.
This is a reference manual for Redex. See
@link["http://www.cs.uchicago.edu/~robby/plt-redex/"]{
@tt{http://www.cs.uchicago.edu/~robby/plt-redex/}} for a gentler
overview. (See also the @tt{examples} subdirectory in the @tt{redex}
collection.)
@link["http://redex.plt-scheme.org/"]{@tt{http://redex.plt-scheme.org/}}
for a gentler overview. (See also the @tt{examples} subdirectory in
the @tt{redex} collection.)
To load Redex use: @defmodule[redex] which provides all of
the names documented in this library.