Open stefankoegel opened 9 years ago
Commit 94c84d72a555471a778a828e81f9af8cdb8bd6eb prevents the evaluation of terms that would lead to variable capture. It would be better to rename the affected variables and allow the evaluation.
Commit 94c84d72a555471a778a828e81f9af8cdb8bd6eb prevents the evaluation of terms that would lead to variable capture. It would be better to rename the affected variables and allow the evaluation.