# SKRED

A SK combinator graph reduction engine implemented in Java.

Features:

* A simple core language.
* Build-in functions for arithmetic and structured data.
* Can be used standalone or as target for a more sophisticated compiler.
* Reasonable performance (for SK combinator reduction, that is).

## Documentation

doc/usersguide.md

## Installing

Do "ant jar" and move dist/skred.jar and possibly lib/prelude.core to a location of your choice.

## Running core programs

> java -jar skred.jar *your_program*.core

## License

skred is open source. It is distributed under a BSL-style license.


# SKRED

A SK combinator graph reduction engine implemented in Java.

Features:

* A simple core language.
* Build-in functions for arithmetic and structured data.
* Can be used standalone or as target for a more sophisticated compiler.
* Reasonable performance (for SK combinator reduction, that is).

## Documentation

doc/usersguide.md

## Installing

Do "ant jar" and move dist/skred.jar to a location of your choice.

## Running core programs

> java -jar skred.jar *your_program*.core

## License

skred is open source. It is distributed under a BSL-style license.


Remove prelude.core from install instruction.
Remove prelude.core from install instruction.
