About Paul Brauner

I like programming languages, type systems, maths, science and music.
I am worried about climate change.

Lists

Timeline

{username} has no activity yet