search

anatoliykmetyuk / free-acp

A rewriting-based process algebra engine
7 stars 3 forks source link

Define ACP laws for arbitrary functor, like Cats does #11

Open anatoliykmetyuk opened 7 years ago