Implement checking feature for reaching the Normal For #11
Description
Describe the solution you'd like
Either AST::isNormalForm (_ : EvaluationStrategy) or ASTVisitor with same feature - probably later.
{{ message }}
Describe the solution you'd like
Either AST::isNormalForm (_ : EvaluationStrategy) or ASTVisitor with same feature - probably later.