Kartik Sabharwal
Results
2
issues of
Kartik Sabharwal
### What version of Racket are you using? 8.3 [cs] ### What program did you run? I used the macro stepper for Emacs' Racket Mode to check what the following...
### What version of Racket are you using? v8.7.0.6 ### What program did you run? ``` #lang typed/racket #:no-optimize #:with-refinements ;; `theorem_1` is accepted by the typechecker. Good. (: theorem_1...