b3097de75d
First pass at supporting `builtins` for tvix. The following tests appear to be WAI: ```shell $ cd tvix/eval $ cargo build $ cargo test ``` Change-Id: I27cce23d503b17a886d1109e285e8b4be4264977 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6405 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
7 lines
126 B
Nix
7 lines
126 B
Nix
[
|
|
(builtins.sub 7 11)
|
|
(builtins.sub 7.9 11)
|
|
(builtins.sub 7 11.9)
|
|
(builtins.sub 7.2 11.9)
|
|
(builtins.sub 7.9 11.9)
|
|
]
|