Make the tree into a free object, with running logic working on a natural transformation - Githubissues

anatoliykmetyuk / free-acp

A rewriting-based process algebra engine

7 stars 3 forks source link

Make the tree into a free object, with running logic working on a natural transformation #3

Closed anatoliykmetyuk closed 7 years ago