[racket-dev] #:forall for contract-out

That seems fine to me.

Robby

On Tue, Aug 21, 2012 at 1:51 PM, Asumu Takikawa <asumu at ccs.neu.edu> wrote:
> Hi all,
>
> Is there any reason that the #:forall, #:∀ clause (dual to #:exists,
> #:∃) doesn't exist for contract-out?
>
> If it's just that nobody has written it, I've attached a patch that
> implements it. If there aren't any design issues anyone has in mind,
> I'll push it once I write tests and docs.
>
> Cheers,
> Asumu
>
> _________________________
>   Racket Developers list:
>   http://lists.racket-lang.org/dev
>