Prelude: update safety-guarantees documentation link (#149)

This commit is contained in:
Tristan de Cacqueray 2020-10-01 16:17:20 +00:00 committed by GitHub
parent c636517c40
commit 1582db1513
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -14,7 +14,7 @@
variables and any attempt to import one will fall back to the next available
import. To learn more, read:
* https://github.com/dhall-lang/dhall-lang/wiki/Safety-guarantees#cross-site-scripting-xss
* https://docs.dhall-lang.org/discussions/Safety-guarantees.html#cross-site-scripting-xss
This file also provides an import without the integrity check as a slower
fallback if the user is using a different version of the Dhall interpreter.

View File

@ -14,7 +14,7 @@
variables and any attempt to import one will fall back to the next available
import. To learn more, read:
* https://github.com/dhall-lang/dhall-lang/wiki/Safety-guarantees#cross-site-scripting-xss
* https://docs.dhall-lang.org/discussions/Safety-guarantees.html#cross-site-scripting-xss
This file also provides an import without the integrity check as a slower
fallback if the user is using a different version of the Dhall interpreter.