Fixes URL typo
This commit is contained in:
parent
7b15edee41
commit
cc67852317
|
@ -67,7 +67,7 @@ reduction semantics, plus a suite of tools for working with the
|
|||
semantics.
|
||||
|
||||
This is a reference manual for Redex. See
|
||||
@link["http://redex.racket-lang.org/"]{@tt{http://redex.racket.org/}}
|
||||
@link["http://redex.racket-lang.org/"]{@tt{http://redex.racket-lang.org/}}
|
||||
for a gentler overview. (See also the @tt{examples} subdirectory in
|
||||
the @tt{redex} collection.)
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user