2 commits

Author	SHA1	Message	Date
Valentin Gagarin	0e4f6dfcf7	revert anchor prefix for builtin constants ... the original change broke many pre-existing anchor links. also change formatting of the constants listing slightly: - the type should not be part of the anchor - add highlight to the "impure only" note	2023-07-20 10:27:38 +02:00
John Ericson	22b278e011	Automatically document builtin constants ... This is done in roughly the same way builtin functions are documented. Also auto-link experimental features for primops, subsuming PR #8371. Co-authored-by: Eelco Dolstra <edolstra@gmail.com> Co-authored-by: Robert Hensing <roberth@users.noreply.github.com> Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>	2023-06-27 09:37:54 -04:00