qyriad/lix

Author SHA1 Message Date

Author	SHA1	Message	Date
Rebecca Turner	cfbcf12276	Format Nix code with `nixfmt` Change-Id: `I61efeb666ff7481c05fcb247168290e86a250151`	2024-04-08 13:00:00 -07:00
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

cfbcf12276

Format Nix code with nixfmt

Change-Id: I61efeb666ff7481c05fcb247168290e86a250151

2024-04-08 13:00:00 -07:00

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

3 commits