Vishal Lama

@vishallama

Software developer with interests in functional programming, type theory, distributed systems, fullstack apps, proof assistants, and more.
  • Salt Lake City, Utah
  • Joined Aug 11 2015