[racket-dev] [plt] Push #23181: master branch updated

Two days ago, Casey Klein wrote:
> 
> Oh, I see. I like that. How do you feel about using the same style
> for contracts? For example:
> 
> (define-judgment-form nats
>     #:mode (sum I I O)
>     #:contract (sum n n n)

Not a party I'm familiar with, but separating the IOs from the types
seems bad.  Can't they be specified together?

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!