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

That seems fine to me. Robby On Tue, Aug 21, 2012 at 1:51 PM, Asumu Takikawa 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. I

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

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. Che