I am a software developer, currently working for Weta Digital Ltd in Wellington, New Zealand. Mostly developing in Python, with occasional Javascript.

I used to believe that Dynamically Typed Programming Languages were the future, but I now suspect that the future will be Dependently Typed. Thus my interest in Idris.