Isaac H. Lopez Diaz

Software engineer from PR

Interest: Programming Languages, Functional Programming

Computer Architecture, Homotopy Type Theory, etc.

I enjoy making music :)