I'd really like to see an snippet in the front page. There are some samples in the tutorial, but I like to see an example to get some feeling of the language. For example, a mix of

  (define (factorial n)
    (if (< n 2)
        1
        (* n (factorial (- n 1)))))

and

  ;; here the type of y is inferred
  (fn ([x : int] y) (+ x y))