Constant lambda_calculus::reduction::SHOW_REDUCTIONS
[−]
[src]
pub const SHOW_REDUCTIONS: bool=
false
Set to true
to see all the steps of β-reductions. The default is false
.