about summary refs log tree commit diff
path: root/fun/owothia/.gitignore
diff options
context:
space:
mode:
authorsterni <sternenseemann@systemli.org>2022-09-06T19·29+0200
committerclbot <clbot@tvl.fyi>2022-09-11T20·02+0000
commitcbde0292b6d029b54cf4d8ef413a6f68adbb9acf (patch)
tree0026eab3701cd120a4cc9ec839d709d9375ddf3d /fun/owothia/.gitignore
parent6ab73c48f66a09c917ab1d3d1fb4634a224bc46f (diff)
docs(tvix/eval): mention `?` and `or` for builtins optimisation r/4820
Change-Id: Ifaa6da345d408a69ce46d6a0e7483352715c75bd
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6525
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Diffstat (limited to 'fun/owothia/.gitignore')
0 files changed, 0 insertions, 0 deletions