I'm Jeff from Malaysia. I've been writing code professionally for 3 years. I'm having interest in Programming Language Theory, Type Theory and Program Analysis in particular.
  Location: Selangor, Malaysia
  Remote: Yes
  Willing to relocate: Yes
  Technologies: Haskell, TypeScript
  Résumé/CV: https://resume-jeffhappily.s3.amazonaws.com/jeff.pdf
  Email: REDACTED_EMAIL
  Github: https://github.com/jeffhappily