Moved rewriters documentation into typesetting section
This commit is contained in:
parent
775d31d04a
commit
4e68a5019f
|
@ -2344,7 +2344,7 @@ single reduction relation.
|
|||
@racket[(λ (l) (apply vc-append 20 l))]
|
||||
}
|
||||
|
||||
@section[#:tag "pink"]{Removing the pink background from PLT Redex rendered picts and ps files}
|
||||
@subsection[#:tag "pink"]{Removing the Pink Background}
|
||||
|
||||
@declare-exporting[redex/pict redex]
|
||||
|
||||
|
@ -2432,9 +2432,6 @@ explanation of logical-space):
|
|||
}]
|
||||
}
|
||||
|
||||
|
||||
@subsection{LW}
|
||||
|
||||
@deftogether[[
|
||||
@defproc[(build-lw [e (or/c string?
|
||||
symbol?
|
||||
|
|
Loading…
Reference in New Issue
Block a user