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

Export Symbol contract into HtDP teaching languages.

Browse Source
This commit is contained in:
Mike Sperber 2010-06-09 13:57:17 +02:00
parent f29b6483f9
commit c7a7eb0a58
5 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/lang/htdp-advanced.rkt
View File

@ -60,7 +60,7 @@
empty true false
contract : -> mixed one-of predicate combined
Number Real Rational Integer Natural Boolean True False String Char Empty-list
Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list
property)
;; procedures:

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

@ -44,7 +44,7 @@
empty true false
contract : -> mixed one-of predicate combined
Number Real Rational Integer Natural Boolean True False String Char Empty-list
Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list
property)
;; procedures:

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

@ -45,7 +45,7 @@
empty true false
contract : -> mixed one-of predicate combined
Number Real Rational Integer Natural Boolean True False String Char Empty-list
Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list
property)
(require (for-syntax "private/firstorder.ss"))

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

@ -48,7 +48,7 @@
empty true false
contract : -> mixed one-of predicate combined
Number Real Rational Integer Natural Boolean True False String Char Empty-list
Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list
property)
;; procedures:

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

@ -48,7 +48,7 @@
empty true false
contract : -> mixed one-of predicate combined
Number Real Rational Integer Natural Boolean True False String Char Empty-list
Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list
property)
;; procedures: