index
:
verified-dyn-lang-interp
icfp25
main
Artifact for https://doi.org/10.1145/3747537
Rutger Broekhoff
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
test
/
testdata
/
eval-okay-print.nix
blob: d36ba4da31cd086be7ef5f478a9eacabcc69e7e6 (
about
) (
plain
) (
blame
)
1
with
builtins
;
trace
[(
1
+
1
)] [
null
toString
(
deepSeq
"x"
) (
a
:
a
) (
let
x
=[
x
];
in
x
) ]