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

HtDP lang doc repairs

Browse Source 
svn: r15203
This commit is contained in:
Matthew Flatt 2009-06-18 07:47:36 +00:00
parent a06c6b38aa
commit 81f9622b58
5 changed files with 10 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/lang/private/beginner-funs.ss
View File

@ -365,14 +365,14 @@
(string-length (string -> nat)
"to determine the length of a string")
((beginner-string-ith string-ith) (string -> string)
((beginner-string-ith string-ith) (string nat -> string)
"to extract the ith 1-letter substring from the given one")
((beginner-replicate replicate) (string nat -> string)
"to replicate the given string")
((beginner-int->string int->string) (integer -> string)
"to convert an integer in [0,55295] or [57344 1114111] to a 1-letter string")
((beginner-string->int string->int) (string -> integer)
"to convert a 1-letter string to an integer in [0,55295] or [57344 1114111]")
"to convert a 1-letter string to an integer in [0,55295] or [57344, 1114111]")
((beginner-explode explode) (string -> (listof string))
"to translate a string into a list of 1-letter strings")
((beginner-implode implode) ((listof string) -> string)

5
collects/scribblings/htdp-langs/advanced.scrbl
View File

@ -83,9 +83,8 @@
empty
(code:line id (code:comment @#,seclink["intermediate-id"]{identifier}))
(code:line prim-op (code:comment @#,seclink["intermediate-lambda-prim-op"]{primitive operation}))
'id
(code:line @#,elem{@schemevalfont{'}@scheme[quoted]} (code:comment @#,seclink["beginner-abbr-quote"]{quoted value}))
(code:line @#,elem{@schemevalfont{`}@scheme[quasiquoted]} (code:comment @#,seclink["beginner-abbr-quasiquote"]{quasiquote}))
(code:line @#,elem{@schemevalfont{'}@scheme[_quoted]} (code:comment @#,seclink["beginner-abbr-quote"]{quoted value}))
(code:line @#,elem{@schemevalfont{`}@scheme[_quasiquoted]} (code:comment @#,seclink["beginner-abbr-quasiquote"]{quasiquote}))
number
true
false

4
collects/scribblings/htdp-langs/beginner-abbr.scrbl
View File

@ -44,8 +44,8 @@
(or expr expr expr ...)
empty
id
(code:line @#,elem{@schemevalfont{'}@scheme[quoted]} (code:comment @#,seclink["beginner-abbr-quote"]{quoted value}))
(code:line @#,elem{@schemevalfont{`}@scheme[quasiquoted]} (code:comment @#,seclink["beginner-abbr-quasiquote"]{quasiquote}))
(code:line @#,elem{@schemevalfont{'}@scheme[_quoted]} (code:comment @#,seclink["beginner-abbr-quote"]{quoted value}))
(code:line @#,elem{@schemevalfont{`}@scheme[_quasiquoted]} (code:comment @#,seclink["beginner-abbr-quasiquote"]{quasiquote}))
number
true
false

5
collects/scribblings/htdp-langs/intermediate-lambda.scrbl
View File

@ -62,9 +62,8 @@
empty
(code:line id (code:comment @#,seclink["intermediate-id"]{identifier}))
(code:line prim-op (code:comment @#,seclink["intermediate-lambda-prim-op"]{primitive operation}))
'id
(code:line @#,elem{@schemevalfont{'}@scheme[quoted]} (code:comment @#,seclink["beginner-abbr-quote"]{quoted value}))
(code:line @#,elem{@schemevalfont{`}@scheme[quasiquoted]} (code:comment @#,seclink["beginner-abbr-quasiquote"]{quasiquote}))
(code:line @#,elem{@schemevalfont{'}@scheme[_quoted]} (code:comment @#,seclink["beginner-abbr-quote"]{quoted value}))
(code:line @#,elem{@schemevalfont{`}@scheme[_quasiquoted]} (code:comment @#,seclink["beginner-abbr-quasiquote"]{quasiquote}))
number
true
false

5
collects/scribblings/htdp-langs/intermediate.scrbl
View File

@ -49,9 +49,8 @@
empty
(code:line id (code:comment @#,seclink["intermediate-id"]{identifier}))
(code:line prim-op (code:comment @#,seclink["intermediate-prim-op"]{primitive operation}))
'id
(code:line @#,elem{@schemevalfont{'}@scheme[quoted]} (code:comment @#,seclink["beginner-abbr-quote"]{quoted value}))
(code:line @#,elem{@schemevalfont{`}@scheme[quasiquoted]} (code:comment @#,seclink["beginner-abbr-quasiquote"]{quasiquote}))
(code:line @#,elem{@schemevalfont{'}@scheme[_quoted]} (code:comment @#,seclink["beginner-abbr-quote"]{quoted value}))
(code:line @#,elem{@schemevalfont{`}@scheme[_quasiquoted]} (code:comment @#,seclink["beginner-abbr-quasiquote"]{quasiquote}))
number
true
false