6 lines
82 B
Racket
6 lines
82 B
Racket
#lang repltest typed/racket
|
|
(define x 0)
|
|
> x
|
|
- : Integer [more precisely: Zero]
|
|
0
|