6 lines
77 B
Racket
6 lines
77 B
Racket
#lang typed/racket
|
|
|
|
(: f (Pair 'bad 'worse))
|
|
(define f
|
|
(letrec ((y y)) y))
|