Javier Díaz

La Plata, Argentina I'm passionate about functional programming, mathematical logic, category theory, theorem proving, etc.