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

DMdA typo fix.

Browse Source 
--HG--
extra : rebase_source : d6f5e160c655713f30df544a60c8033410945103
This commit is contained in:
Mike Sperber 2010-10-12 14:53:12 +02:00
parent 03c2fa266b
commit b80d327d40
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/deinprogramm/DMdA.rkt
View File

@ -914,7 +914,7 @@
(define (false? x)
(eq? x #f))
(define true (signature (one-of #f)))
(define true (signature (one-of #t)))
(define false (signature (one-of #f)))
(define string (signature/arbitrary arbitrary-printable-ascii-string (predicate string?)))