make prettified terms unambiguous.
add parentheses to prettified applications to make their meaning unambiguous.
This commit is contained in:
parent
6fb482df27
commit
7a50aa6e1e
|
@ -80,7 +80,7 @@ function prettify (code) {
|
|||
} else if (code[0] === 0) {
|
||||
return "(λ" + prettify(code[1]) + ")";
|
||||
} else {
|
||||
return prettify(code[0]) + " " + prettify(code[1]);
|
||||
return "(" + prettify(code[0]) + " " + prettify(code[1]) + ")";
|
||||
}
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue