more rackty guide, through the contracts section

original commit: 2f5b166073618a315a0f57e83c5fdf36286fae5f
This commit is contained in:
Matthew Flatt 2010-04-29 17:11:31 -06:00
parent 6089214479
commit 78e13c9adc

View File

@ -28,9 +28,9 @@ evaluator is created using @scheme[make-base-eval]. See also
Uses of @scheme[code:comment] and @schemeidfont{code:blank} are Uses of @scheme[code:comment] and @schemeidfont{code:blank} are
stipped from each @scheme[datum] before evaluation. stipped from each @scheme[datum] before evaluation.
If a @scheme[datum] has the form @scheme[(eval:alts #,(svar If a @scheme[datum] has the form @scheme[(@#,indexed-scheme[eval:alts]
show-datum) #,(svar eval-datum))], then @svar[show-datum] is typeset, #,(svar show-datum) #,(svar eval-datum))], then @svar[show-datum] is
while @svar[eval-datum] is evaluated.} typeset, while @svar[eval-datum] is evaluated.}
@defform*[[(interaction-eval datum) @defform*[[(interaction-eval datum)