About me
Hi, I'm a engineer passionate about programming languages design and type theory. The purpose of this blog, hopefully, is to document some of my learning process, share some of my notes and thoughts about my current projects or anything I find interesting enough to write about :)
Online presence
- Email: luisvegasmor@gmail.com
- Github: github.com/luisvgs