javierdiaz72

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

La Plata, Argentina