In the REPL, prevent error-producing declarations from updating the environment. Fixes #22.
In the REPL, prevent error-producing declarations from updating the environment. Fixes #22.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang