Giters

stefankoegel / clickyEvaluation

Visual tool for stepwise evaluation of simple Haskell expressions

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Prevent variable capturing

stefankoegel opened this issue · comments

commented

Commit 94c84d7 prevents the evaluation of terms that would lead to variable capture. It would be better to rename the affected variables and allow the evaluation.