Release of the Context Rewriting Language Treacle

Saturday, April 12, 2008

The Treacle programming language, successor to Arboretuum, has been released. It is based on context rewriting, which generalizes forest-rewriting; names and variables are separate, and patterns may contain holes inside which subpatterns may match at any depth.

Check it out at http://catseye.tc/projects/treacle/