About Steve ✅

He ahorangi ahau i te Whare Wananga o Waikato. Kei te noho au ki Kirikiriroa. I live in Hamilton.
 Functional programmer, logician, Z specifier, proof lover, type theory, intuitionism.
Cyclist, tramper, skier. Cats.

Lists

Timeline

{username} has no activity yet