I just released a new update of Cat ... I just found and killed a
couple of new bugs. Sorry to anyone who downloaded it. I've also
written a bit about type inference and the Cat type system on my blog
at http://www.artima.com/weblogs/viewpost.jsp?thread=178584 .
Christopher Diggins
http://www.cdiggins.com - Home Page
http://www.cat-language.com - Cat Language Page