phc-toolkit/untyped/typed-untyped.rkt
2017-04-27 23:38:55 +02:00

3 lines
58 B
Racket

#lang reprovide
"../typed-untyped.rkt" ;; already untyped