1 2 3 4 5 6 7 8
#lang typed/racket (require "hmac.rkt" "whirlpool.rkt" "salsa-chacha.rkt") (provide hmac whirlpool salsa20)