2 ms·He also has a very good blog: http://okasaki.blogspot.com/ http://okasaki.blogspot.com/by pchristensen 19y agoHe also has a very good blog: http://okasaki.blogspot.com/ http://okasaki.blogspot.com/