{ bar = builtins.readFileType ./readDir/bar; foo = builtins.readFileType ./readDir/foo; linked = builtins.readFileType ./readDir/linked; ldir = builtins.readFileType ./readDir/ldir; }
index : verified-dyn-lang-interp | ||
Artifact for https://doi.org/10.1145/3747537 | Rutger Broekhoff |
aboutsummaryrefslogtreecommitdiffstats |
{ bar = builtins.readFileType ./readDir/bar; foo = builtins.readFileType ./readDir/foo; linked = builtins.readFileType ./readDir/linked; ldir = builtins.readFileType ./readDir/ldir; }