This is an experimental project.
Here's a phi-calculus expression:
[ y -> [ z -> 42 ].z ].y
It may be reduced to:
[ z -> 42 ].z
And then:
42
This project analyzes the phi-calculus expressions and reduces them if it's possible
if you want to try to play with it, do this before getting started
Build pdf and latex, do it carefully, Makefile is still not very good.
make
Removes pdf, latex
make clean