Closed bvssvni closed 9 months ago
There are some language biases which insist on not being evaluated. Thus, they are "resting" in their inner structure and refuses further evaluation.
However, when such sub-expressions are evaluated, they can still be reduced sometimes in the outer language.
E.g. !!id(x) should reduce to id(x) in the Closed Variant.
!!id(x)
id(x)
There are some language biases which insist on not being evaluated. Thus, they are "resting" in their inner structure and refuses further evaluation.
However, when such sub-expressions are evaluated, they can still be reduced sometimes in the outer language.
E.g.
!!id(x)should reduce toid(x)in the Closed Variant.