7 lines
111 B
Racket
7 lines
111 B
Racket
#lang typed/racket
|
|
|
|
(: sum ((Listof Flonum) -> Flonum))
|
|
(define (sum ws) (apply + ws))
|
|
|
|
(ann (sum '()) Flonum)
|