[plt-planet-announce] New PLaneT package: samsergey/rewrite.plt for 4.x, 3xx

From: PLaneT (planet at racket-lang.org)
Date: Mon Nov 28 02:14:55 EST 2011

This announces the availability of a new package from PLaneT:

Name:            rewrite.plt
Package version: 1.0
Owner:           samsergey

Package Description
Implementation of rewriting systems for Racket.
Release Notes
The package provides tools for programming via term rewriting technique. Provided forms could be considered as a syntactic sugar for Racket's match form, however they offer different semantics. The package introduces repetitive rewriting in order to obtain the normal form of given expression, ability to transform any subpart in nested list structure and definition of formal functions which abstract general algebraic types. Contains numerous examples.

Go to 


for more information.

Posted on the planet-announce mailing list.