--- layout: default ---
TODO: This page still needs to be written. Things to include:
$
local
Let D, E, F range over arbitrary expressions. Let ≡ mean contextual equivalence, i.e if D ≡ E then substituting D for E in any context will manifest to the same JSON.
super
:super
and have no
common fields: