Vishal Lama

@vishallama

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