typed-racket/typed-racket-test/succeed/andmap.rkt
2014-12-16 10:07:25 -05:00

4 lines
57 B
Racket

#lang typed-scheme
(andmap = (list 1 2 3) (list 1 2 3))