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

svn: r15198

Browse Source
This commit is contained in:
Matthias Felleisen 2009-06-17 20:12:13 +00:00
parent 8ff0a07d21
commit 290d3008fb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/teachpack/2htdp/scribblings/universe.scrbl
View File

@ -1181,7 +1181,7 @@ optional handlers:
} }
@item{ @item{
@defform[(check-with universe?-expr) @defform/none[(check-with universe?-expr)
#:contracts #:contracts
([universe?-expr (-> Any boolean?)])]{ ([universe?-expr (-> Any boolean?)])]{
ensure that what the event handlers produce is really an element of ensure that what the event handlers produce is really an element of