diff --git a/dhall-try/index.html b/dhall-try/index.html index 2317925..0c82cf7 100644 --- a/dhall-try/index.html +++ b/dhall-try/index.html @@ -215,8 +215,9 @@

We take language security seriously so that your Dhall programs never fail, hang, crash, leak secrets, or compromise your system.

-

You can safely import and evaluate untrusted Dhall code, even code - authored by malicious users.

+

The language aims to support safely importing and evaluating untrusted + Dhall code, even code authored by malicious users. We treat the inability + to do so as a specification bug.

Safety Guarantees