Cat 0.9.6 has been released. Cat is a statically-typed, stack-based compositional language, inspired by Joy.
This release includes support for turning off typing.
Christopher Diggins has also written an article that describes the language, the interpreter and the type inference algorithm.
![Validate my RSS feed [Valid RSS 2.0]](img/valid_rss.gif)
![[Valid XHTML 1.0]](img/valid_xhtml.png)
![Validate my Atom 1.0 feed [Valid Atom 1.0]](img/valid_atom.gif)
![[Valid CSS]](img/valid_css.gif)
![[Powered by OCaml]](img/ocaml.gif)
![[Powered by PostgreSQL]](img/postgresql.png)