Download Latest Version
crsx401.zip (4.9 MB)
Get an email when there's a new version of Combinatory Reduction Systems Extended
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| README | 2013-11-25 | 1.2 kB | |
| crsx401-src.zip | 2013-11-25 | 1.0 MB | |
| crsx401-javadoc.zip | 2013-11-25 | 2.3 MB | |
| crsx401.zip | 2013-11-25 | 4.9 MB | |
| crsx32-javadoc.zip | 2013-07-26 | 2.5 MB | |
| crsx32-src.zip | 2013-07-26 | 777.6 kB | |
| crsx32.zip | 2013-07-26 | 1.5 MB | |
| crsx31-src.zip | 2013-03-21 | 771.1 kB | |
| crsx31.zip | 2013-03-21 | 2.0 MB | |
| crsx31-javadoc.zip | 2013-03-21 | 2.5 MB | |
| crsx30.zip | 2012-12-21 | 1.8 MB | |
| crsx30-src.zip | 2012-12-17 | 785.2 kB | |
| crsx30-javadoc.zip | 2012-12-17 | 2.5 MB | |
| crsx25-javadoc.zip | 2012-04-19 | 2.7 MB | |
| crsx25.zip | 2012-04-19 | 3.1 MB | |
| crsx24-javadoc.zip | 2011-07-21 | 3.0 MB | |
| crsx24.zip | 2011-07-21 | 2.5 MB | |
| crsx23-javadoc.zip | 2011-06-24 | 3.0 MB | |
| crsx23.zip | 2011-06-24 | 2.5 MB | |
| crsx22-javadoc.zip | 2011-05-24 | 3.0 MB | |
| crsx22.zip | 2011-05-24 | 2.4 MB | |
| crsx21-javadoc.zip | 2011-04-14 | 3.0 MB | |
| crsx21.zip | 2011-04-14 | 2.4 MB | |
| crsx20-javadoc.zip | 2011-03-10 | 3.0 MB | |
| crsx20.zip | 2011-03-10 | 4.9 MB | |
| crsx19-javadoc.zip | 2011-03-05 | 3.0 MB | |
| crsx19.zip | 2011-03-05 | 4.9 MB | |
| crsx18-javadoc.zip | 2011-02-11 | 3.0 MB | |
| crsx18.zip | 2011-02-11 | 5.2 MB | |
| crsx17.zip | 2011-01-20 | 4.7 MB | |
| crsx17-javadoc.zip | 2011-01-20 | 3.0 MB | |
| crsx16-javadoc.zip | 2010-12-07 | 3.0 MB | |
| crsx16.zip | 2010-12-07 | 3.4 MB | |
| Totals: 33 Items | 89.3 MB | 0 |
This directory contains a program and library supporting COMBINATORY REDUCTION SYSTEMS (with EXTENSIONS) in Java. 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 Contents: * 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: $ CVSROOT=":pserver:anonymous@crsx.cvs.sourceforge.net:/cvsroot/crsx" $ 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>.