rewrite, resume should return implicit functions

anatoliykmetyuk / free-acp

A rewriting-based process algebra engine

7 stars 3 forks source link

rewrite, resume should return implicit functions #7

Open anatoliykmetyuk opened 7 years ago

anatoliykmetyuk commented 7 years ago

Implicit functions as in ordinary functions accepting the parameters that are currently implicit. So that we can run "isDefinedAt" without having the implicits.