I am interested in type theory and functional programming, and gravitate toward Scala and Nix. I also enjoy tinkering with Unison, Haskell, OCaml, and TypeScript. For a brief overview of my background, see my profiles on LinkedIn and GitHub...
Relevance: 13.595576