Works with Clojure. Plays with F#, Idris, Prolog, Elixir, Python and C. Passionate about functional programming, and especially interested in dependently typed languages.