Tuesday, March 3, 2009

3^2 Day

Today is 3^2 day, because 3 squared is 9 and today's date is 03.03.09. Number jokes aside, it was a good day, I am finally beginning the implementation part of my new project at work and the ideas keep sprouting.


PS.: Also I found a nice article about decidable type inference for GADTs. Final version hopefully for ICFP09!

No comments: