Cat 0.12.0 released

Christopher Diggins has released Cat 0.12.0. Notably, he writes:

If all goes well I may be able to declare a version 1.0 release at the end of the month of May with full static type-checking.

I'm looking forward to 1.0.