1{2  "$schema": "https://destack.sh/schemas/destack.schema.json",3  "name": "my-destack-project",4  "version": "0.1.2",5  "private": true,6  "targets": {7    "default": {8      "include": ["src/**/*.ds"],9      "output": "program"10    }11  },12  "defaultTarget": "default"13}