rec { x = 123; y = 567.890; a = "foo"; b = "bar"; c = "foo" + "bar"; f = {z, x, y}: if y then x else z; id = x: x; at = args@{x, y, z}: x; ellipsis = {x, y, z, ...}: x; }
index : verified-dyn-lang-interp | ||
Artifact for https://doi.org/10.1145/3747537 | Rutger Broekhoff |
aboutsummaryrefslogtreecommitdiffstats |
rec { x = 123; y = 567.890; a = "foo"; b = "bar"; c = "foo" + "bar"; f = {z, x, y}: if y then x else z; id = x: x; at = args@{x, y, z}: x; ellipsis = {x, y, z, ...}: x; }