`1 + x` should evaluate x before being evaluated to 1

anatoliykmetyuk / free-acp

A rewriting-based process algebra engine

7 stars 3 forks source link

Closed anatoliykmetyuk closed 7 years ago

anatoliykmetyuk commented 7 years ago

Related to #10.

anatoliykmetyuk commented 7 years ago

1 + x should only extract the value of x if it is immediately available.