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

removed signatures for now

Browse Source
This commit is contained in:
Matthias Felleisen 2010-10-13 12:48:43 -04:00
parent 6e23fcda5f
commit 852aaed2ea
4 changed files with 24 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/lang/htdp-beginner-abbr.rkt
View File

@ -43,11 +43,12 @@
#%top-interaction #%top-interaction
empty true false empty true false
signature : -> mixed one-of predicate combined ; signature : -> mixed one-of predicate combined
Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any ; Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any
cons-of ; cons-of
Property ; Property
check-property for-all ==> expect expect-within expect-member-of expect-range) ; check-property for-all ==> expect expect-within expect-member-of expect-range
)
;; procedures: ;; procedures:
(provide-and-document (provide-and-document

11
collects/lang/htdp-beginner.rkt
View File

@ -44,11 +44,12 @@
#%top-interaction #%top-interaction
empty true false empty true false
signature : -> mixed one-of predicate combined ; signature : -> mixed one-of predicate combined
Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any ; Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any
cons-of ; cons-of
Property ; Property
check-property for-all ==> expect expect-within expect-member-of expect-range) ; check-property for-all ==> expect expect-within expect-member-of expect-range
)
(require (for-syntax "private/firstorder.ss")) (require (for-syntax "private/firstorder.ss"))

11
collects/lang/htdp-intermediate-lambda.rkt
View File

@ -47,11 +47,12 @@
#%top-interaction #%top-interaction
empty true false empty true false
signature : -> mixed one-of predicate combined ; signature : -> mixed one-of predicate combined
Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any ; Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any
cons-of ; cons-of
Property ; Property
check-property for-all ==> expect expect-within expect-member-of expect-range) ; check-property for-all ==> expect expect-within expect-member-of expect-range
)
;; procedures: ;; procedures:
(provide-and-document (provide-and-document

11
collects/lang/htdp-intermediate.rkt
View File

@ -47,11 +47,12 @@
#%top-interaction #%top-interaction
empty true false empty true false
signature : -> mixed one-of predicate combined ; signature : -> mixed one-of predicate combined
Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any ; Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any
cons-of ; cons-of
Property ; Property
check-property for-all ==> expect expect-within expect-member-of expect-range) ; check-property for-all ==> expect expect-within expect-member-of expect-range
)
;; procedures: ;; procedures:
(provide-and-document (provide-and-document