I'm a software engineer living in Brisbane, Australia.
I love programming languages.
The future of programming is dependently typed
-
12 August 2017
-
8 June 2015
-
17 May 2015
-
3 May 2015
-
17 July 2014