Phi-reducer

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

- TBD

if you want to try to play with it, do this before getting started

How to contribute

Build pdf and latex, do it carefully, Makefile is still not very good.

make

Removes pdf, latex

make clean