Interested in functional languages (Haskell, OCaml, Coq, &c) and natural languages (Ancient Greek, Georgian, Classical Chinese)