Steven Shaw

I'm a software engineer living in Brisbane, Australia.
I love programming languages.

The future of programming is dependently typed