Developer of Scripta.io and author of minilatex package. Love typed functional languages, especially Elm. Trying to learn homotopy type theory.