about summary refs log tree commit diff
path: root/tvix/eval/src/lib.rs
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-11T11·54+0300
committertazjin <tazjin@tvl.su>2022-08-25T16·01+0000
commit63a0cc83d13ebce3ae17c45778c4f25e831f1b7b (patch)
tree20de3ece65e514dc4f6a5d770a34e37f0e293d1a /tvix/eval/src/lib.rs
parentc7c7ab9bd4e105251ad56eb6c97157ee17354a9a (diff)
feat(tvix/compiler): implement `->` (implication) operator r/4487
Similar to `||`, but inverting the left-hand side.

In other words, `a -> b` is essentially rewritten as `!a || b`.

Change-Id: I8a62da65ff070b389e46048d047a54279060a97b
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6152
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/eval/src/lib.rs')
0 files changed, 0 insertions, 0 deletions