I&#x27;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<p><pre><code>  (define (factorial n)
    (if (&lt; n 2)
        1
        (* n (factorial (- n 1)))))
</code></pre>
and<p><pre><code>  ;; here the type of y is inferred
  (fn ([x : int] y) (+ x y))</code></pre>