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
I'm a software engineer living in Brisbane, Australia.
I love programming languages.
The future of programming is dependently typed