verified-dyn-lang-interp - Artifact for https://doi.org/10.1145/3747537

about summary refs log tree commit diff stats

let {
  x =
    {gcc}:
    {
      inherit gcc;
    };

  body = ({
    inherit gcc;
  }).gcc;
}