Applicative Term Rewrite System (Naive Implementation)
cd src
make
./Main <filename>
Variables and Constants
- Variables: x, y, z, ...
- Constants: S, K, I, ...
Combinatory Logic (Schönfinkel 1924, Curry 1927)
I x = x .
K x y = x .
S x y z = x z (y z) .
MAIN = S K K I .
- Baader and Nipkow, Term Rewriting and All That, Cambridge University Press, 1998.
This project is licensed under the MIT License.