| From: Raoul Duke (raould at gmail.com) Date: Wed Feb 29 15:22:08 EST 2012 |
|
> but *write it down*. How are we to know, as reader's of your contract and > purpose statements, that we have to provide non-empty strings? er, can you make a new EmptyString type and use that in the contract part of the comment?
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}