Add link from protect-out to protecting exports page. (#2221)

This commit is contained in:
Leif Andersen 2018-08-08 16:08:16 -04:00 committed by GitHub
parent b2829078ee
commit 7fc309c524
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1105,7 +1105,9 @@ as follows.
(list num-eggs num-chicks)
(weak-eval 'num-eggs)
(eval:error (weak-eval 'num-chicks))
]}
]
See also @secref["code-inspectors+protect" #:doc '(lib "scribblings/guide/guide.scrbl")].}
@specsubform[#:literals (for-meta)
(for-meta phase-level provide-spec ...)]{ Like the union of the