bishboria

My name is Stuart Gale. I like functional programming, maths, and type theory. I like reading SciFi and Fantasy books.

I'm a PhD student at Strathclyde University. Conor McBride is my supervisor.