Computer Science researcher, Haskell programmer, language designer, Idris implementer