Teymour Aldridge


tux


Github


  1. Type theory
  2. Formal verification
  3. Rust
  4. Lambda calculus
  5. OCaml/ReasonML
  6. ReactJS


Rust, Python, OCaml, Javascript, Typescript