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! _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev