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

Minor fix in Guide section on contracts

Browse Source 
Reported by Shambles
This commit is contained in:
Asumu Takikawa 2012-05-22 10:49:38 -04:00
parent 9bdb47bba0
commit be9faeac65
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/scribblings/guide/contracts-general-function.scrbl
View File

@ -308,7 +308,7 @@ withdrawal operation. The improved bank-account module includes a
] ]
Besides requiring that a client provide a valid amount for a Besides requiring that a client provide a valid amount for a
withdrawal, however, the amount should be less than the specified withdrawal, however, the amount should be less than or equal to the specified
account's balance, and the resulting account will have less money than account's balance, and the resulting account will have less money than
it started with. Similarly, the module might promise that a deposit it started with. Similarly, the module might promise that a deposit
produces an account with money added to the account. The following produces an account with money added to the account. The following