This directory contains a program and library supporting
COMBINATORY REDUCTION SYSTEMS (with EXTENSIONS)
The program is distributed with the following license:
Copyright (c) 2006, 2013 IBM Corporation.
All rights reserved. This program and the accompanying materials
are made available under the terms of the Common Public License v1.0
which accompanies this distribution, and is available in the file
LICENSE.TXT and at http://www.opensource.org/licenses/cpl1.0.txt
* VERSION file has the release version number.
* doc directory has the documentation.
* samples directory has example rewrite systems and support code.
NOTE: the HACS frontend prototype is in samples/gentle, documented in
samples/gentle/doc/hacs-gently.pdf. If you just need HACS then you can
retrieve it like so:
$ cvs -d$CVSROOT login
CVS password: (Enter)
$ cvs -z3 -d$CVSROOT co -P crsx/samples/gentle
cvs checkout: Updating crsx/samples/gentle
The javadoc documentation is distributed in a separate .zip archive.
The source code can be obtained from <http://sourceforge.net/projects/crsx>.