├── .eslintignore ├── .eslintrc ├── .gitattributes ├── .github ├── CODEOWNERS ├── dependabot.yml └── workflows │ ├── build-latest.yml │ ├── build-legacy.yml │ ├── build-nightly.yml │ ├── codeql.yml │ ├── sample-basic.yml │ ├── sample-complex.yml │ ├── sample-matrix.yml │ ├── sample-minimal.yml │ ├── setup-latest.yml │ ├── setup-legacy.yml │ └── setup-nightly.yml ├── .gitignore ├── .gitmodules ├── .markdownlint.yaml ├── .pre-commit-config.yaml ├── .prettierignore ├── .prettierrc ├── CHANGELOG.md ├── HACKING.md ├── LICENSE.md ├── README.md ├── README.md.njk ├── action.yml ├── bumpver.toml ├── data ├── Agda.components.yml ├── Agda.versions.yml ├── agda-stdlib.versions.yml └── licenses │ ├── gmp │ └── LICENSE │ ├── icu │ └── LICENSE │ └── zlib │ └── LICENSE ├── dist ├── action.cjs └── action.cjs.LEGAL.txt ├── docs └── TESTING.md ├── hooks └── pre-commit ├── matcher.json ├── package.json ├── scripts ├── build-action.mjs ├── build-cli-exe.mjs ├── build-cli.mjs ├── build-readme.mjs ├── bundle-data.sh ├── bundle-licenses.mjs └── test-action.sh ├── shim ├── logger-action.mjs └── logger-cli.mjs ├── src ├── action.ts ├── action │ ├── setup-agda.ts │ ├── setup-cabal-plan.ts │ ├── setup-haskell.ts │ ├── setup-icu.ts │ └── setup-upx.ts ├── cli.ts ├── cli │ ├── build.ts │ ├── install-library.ts │ ├── install.ts │ ├── register-executable.ts │ ├── register-library.ts │ ├── set.ts │ ├── test.ts │ └── tui.ts ├── data │ ├── Agda.components.json │ ├── Agda.versions.json │ ├── README.md │ ├── agda-stdlib.versions.json │ ├── licenses.json │ ├── setup-agda │ │ ├── action.json │ │ └── package.json │ └── setup-haskell │ │ ├── action.json │ │ └── versions.json ├── types │ ├── env.d.ts │ ├── linux-os-info.d.ts │ └── logger.d.ts └── util │ ├── appdirs.ts │ ├── deps │ ├── agda.ts │ ├── cabal-plan.ts │ ├── cabal.ts │ ├── chmod.ts │ ├── dumpbin.ts │ ├── ghc.ts │ ├── homebrew.ts │ ├── icu.ts │ ├── install-name-tool.ts │ ├── msys.ts │ ├── otool.ts │ ├── pacman.ts │ ├── patchelf.ts │ ├── pkg-config.ts │ ├── powershell.ts │ ├── pwsh.ts │ ├── tar.ts │ ├── unzip.ts │ ├── upx.ts │ └── xattr.ts │ ├── download-helper.ts │ ├── errors.ts │ ├── exec.ts │ ├── has.ts │ ├── lines.ts │ ├── log.ts │ ├── platform.ts │ ├── retry-helper.ts │ ├── simver.ts │ └── types.ts ├── tests ├── agda-categories-default │ └── hello-categories.agda ├── agda-categories │ ├── hello-categories.agda │ └── setup-agda-tests-agda-categories.agda-lib ├── agda-stdlib-default │ ├── hello-world-dep-lookup.agda │ ├── hello-world-dep.agda │ └── hello-world-proof.agda ├── agda-stdlib │ ├── hello-world-dep-lookup.agda │ ├── hello-world-dep.agda │ ├── hello-world-proof.agda │ └── setup-agda-tests-agda-stdlib.agda-lib ├── agda │ ├── greet.agda │ ├── hello-world.agda │ └── setup-agda-tests-agda.agda-lib ├── echo │ └── echo.agda └── workflows │ ├── build.yml │ └── setup.yml ├── tsconfig-action.json ├── tsconfig-cli.json └── tsconfig.json /.eslintignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.eslintignore -------------------------------------------------------------------------------- /.eslintrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.eslintrc -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | setup/dist/** -diff linguist-generated=true 2 | -------------------------------------------------------------------------------- /.github/CODEOWNERS: -------------------------------------------------------------------------------- 1 | * @wenkokke 2 | -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/build-latest.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.github/workflows/build-latest.yml -------------------------------------------------------------------------------- /.github/workflows/build-legacy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.github/workflows/build-legacy.yml -------------------------------------------------------------------------------- /.github/workflows/build-nightly.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.github/workflows/build-nightly.yml -------------------------------------------------------------------------------- /.github/workflows/codeql.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.github/workflows/codeql.yml -------------------------------------------------------------------------------- /.github/workflows/sample-basic.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.github/workflows/sample-basic.yml -------------------------------------------------------------------------------- /.github/workflows/sample-complex.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.github/workflows/sample-complex.yml -------------------------------------------------------------------------------- /.github/workflows/sample-matrix.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.github/workflows/sample-matrix.yml -------------------------------------------------------------------------------- /.github/workflows/sample-minimal.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.github/workflows/sample-minimal.yml -------------------------------------------------------------------------------- /.github/workflows/setup-latest.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.github/workflows/setup-latest.yml -------------------------------------------------------------------------------- /.github/workflows/setup-legacy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.github/workflows/setup-legacy.yml -------------------------------------------------------------------------------- /.github/workflows/setup-nightly.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.github/workflows/setup-nightly.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.gitmodules -------------------------------------------------------------------------------- /.markdownlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.markdownlint.yaml -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /.prettierignore: -------------------------------------------------------------------------------- 1 | /dist 2 | /lib 3 | /node_modules 4 | /vendor 5 | -------------------------------------------------------------------------------- /.prettierrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/.prettierrc -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /HACKING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/HACKING.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/README.md -------------------------------------------------------------------------------- /README.md.njk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/README.md.njk -------------------------------------------------------------------------------- /action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/action.yml -------------------------------------------------------------------------------- /bumpver.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/bumpver.toml -------------------------------------------------------------------------------- /data/Agda.components.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/data/Agda.components.yml -------------------------------------------------------------------------------- /data/Agda.versions.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/data/Agda.versions.yml -------------------------------------------------------------------------------- /data/agda-stdlib.versions.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/data/agda-stdlib.versions.yml -------------------------------------------------------------------------------- /data/licenses/gmp/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/data/licenses/gmp/LICENSE -------------------------------------------------------------------------------- /data/licenses/icu/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/data/licenses/icu/LICENSE -------------------------------------------------------------------------------- /data/licenses/zlib/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/data/licenses/zlib/LICENSE -------------------------------------------------------------------------------- /dist/action.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/dist/action.cjs -------------------------------------------------------------------------------- /dist/action.cjs.LEGAL.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/dist/action.cjs.LEGAL.txt -------------------------------------------------------------------------------- /docs/TESTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/docs/TESTING.md -------------------------------------------------------------------------------- /hooks/pre-commit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/hooks/pre-commit -------------------------------------------------------------------------------- /matcher.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/matcher.json -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/package.json -------------------------------------------------------------------------------- /scripts/build-action.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/scripts/build-action.mjs -------------------------------------------------------------------------------- /scripts/build-cli-exe.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/scripts/build-cli-exe.mjs -------------------------------------------------------------------------------- /scripts/build-cli.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/scripts/build-cli.mjs -------------------------------------------------------------------------------- /scripts/build-readme.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/scripts/build-readme.mjs -------------------------------------------------------------------------------- /scripts/bundle-data.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/scripts/bundle-data.sh -------------------------------------------------------------------------------- /scripts/bundle-licenses.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/scripts/bundle-licenses.mjs -------------------------------------------------------------------------------- /scripts/test-action.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/scripts/test-action.sh -------------------------------------------------------------------------------- /shim/logger-action.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/shim/logger-action.mjs -------------------------------------------------------------------------------- /shim/logger-cli.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/shim/logger-cli.mjs -------------------------------------------------------------------------------- /src/action.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/action.ts -------------------------------------------------------------------------------- /src/action/setup-agda.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/action/setup-agda.ts -------------------------------------------------------------------------------- /src/action/setup-cabal-plan.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/action/setup-cabal-plan.ts -------------------------------------------------------------------------------- /src/action/setup-haskell.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/action/setup-haskell.ts -------------------------------------------------------------------------------- /src/action/setup-icu.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/action/setup-icu.ts -------------------------------------------------------------------------------- /src/action/setup-upx.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/action/setup-upx.ts -------------------------------------------------------------------------------- /src/cli.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/cli.ts -------------------------------------------------------------------------------- /src/cli/build.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/cli/build.ts -------------------------------------------------------------------------------- /src/cli/install-library.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/cli/install-library.ts -------------------------------------------------------------------------------- /src/cli/install.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/cli/install.ts -------------------------------------------------------------------------------- /src/cli/register-executable.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/cli/register-executable.ts -------------------------------------------------------------------------------- /src/cli/register-library.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/cli/register-library.ts -------------------------------------------------------------------------------- /src/cli/set.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/cli/set.ts -------------------------------------------------------------------------------- /src/cli/test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/cli/test.ts -------------------------------------------------------------------------------- /src/cli/tui.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/cli/tui.ts -------------------------------------------------------------------------------- /src/data/Agda.components.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/data/Agda.components.json -------------------------------------------------------------------------------- /src/data/Agda.versions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/data/Agda.versions.json -------------------------------------------------------------------------------- /src/data/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/data/README.md -------------------------------------------------------------------------------- /src/data/agda-stdlib.versions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/data/agda-stdlib.versions.json -------------------------------------------------------------------------------- /src/data/licenses.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/data/licenses.json -------------------------------------------------------------------------------- /src/data/setup-agda/action.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/data/setup-agda/action.json -------------------------------------------------------------------------------- /src/data/setup-agda/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/data/setup-agda/package.json -------------------------------------------------------------------------------- /src/data/setup-haskell/action.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/data/setup-haskell/action.json -------------------------------------------------------------------------------- /src/data/setup-haskell/versions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/data/setup-haskell/versions.json -------------------------------------------------------------------------------- /src/types/env.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/types/env.d.ts -------------------------------------------------------------------------------- /src/types/linux-os-info.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/types/linux-os-info.d.ts -------------------------------------------------------------------------------- /src/types/logger.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/types/logger.d.ts -------------------------------------------------------------------------------- /src/util/appdirs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/appdirs.ts -------------------------------------------------------------------------------- /src/util/deps/agda.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/agda.ts -------------------------------------------------------------------------------- /src/util/deps/cabal-plan.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/cabal-plan.ts -------------------------------------------------------------------------------- /src/util/deps/cabal.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/cabal.ts -------------------------------------------------------------------------------- /src/util/deps/chmod.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/chmod.ts -------------------------------------------------------------------------------- /src/util/deps/dumpbin.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/dumpbin.ts -------------------------------------------------------------------------------- /src/util/deps/ghc.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/ghc.ts -------------------------------------------------------------------------------- /src/util/deps/homebrew.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/homebrew.ts -------------------------------------------------------------------------------- /src/util/deps/icu.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/icu.ts -------------------------------------------------------------------------------- /src/util/deps/install-name-tool.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/install-name-tool.ts -------------------------------------------------------------------------------- /src/util/deps/msys.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/msys.ts -------------------------------------------------------------------------------- /src/util/deps/otool.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/otool.ts -------------------------------------------------------------------------------- /src/util/deps/pacman.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/pacman.ts -------------------------------------------------------------------------------- /src/util/deps/patchelf.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/patchelf.ts -------------------------------------------------------------------------------- /src/util/deps/pkg-config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/pkg-config.ts -------------------------------------------------------------------------------- /src/util/deps/powershell.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/powershell.ts -------------------------------------------------------------------------------- /src/util/deps/pwsh.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/pwsh.ts -------------------------------------------------------------------------------- /src/util/deps/tar.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/tar.ts -------------------------------------------------------------------------------- /src/util/deps/unzip.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/unzip.ts -------------------------------------------------------------------------------- /src/util/deps/upx.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/upx.ts -------------------------------------------------------------------------------- /src/util/deps/xattr.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/deps/xattr.ts -------------------------------------------------------------------------------- /src/util/download-helper.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/download-helper.ts -------------------------------------------------------------------------------- /src/util/errors.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/errors.ts -------------------------------------------------------------------------------- /src/util/exec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/exec.ts -------------------------------------------------------------------------------- /src/util/has.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/has.ts -------------------------------------------------------------------------------- /src/util/lines.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/lines.ts -------------------------------------------------------------------------------- /src/util/log.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/log.ts -------------------------------------------------------------------------------- /src/util/platform.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/platform.ts -------------------------------------------------------------------------------- /src/util/retry-helper.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/retry-helper.ts -------------------------------------------------------------------------------- /src/util/simver.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/simver.ts -------------------------------------------------------------------------------- /src/util/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/src/util/types.ts -------------------------------------------------------------------------------- /tests/agda-categories-default/hello-categories.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda-categories-default/hello-categories.agda -------------------------------------------------------------------------------- /tests/agda-categories/hello-categories.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda-categories/hello-categories.agda -------------------------------------------------------------------------------- /tests/agda-categories/setup-agda-tests-agda-categories.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda-categories/setup-agda-tests-agda-categories.agda-lib -------------------------------------------------------------------------------- /tests/agda-stdlib-default/hello-world-dep-lookup.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda-stdlib-default/hello-world-dep-lookup.agda -------------------------------------------------------------------------------- /tests/agda-stdlib-default/hello-world-dep.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda-stdlib-default/hello-world-dep.agda -------------------------------------------------------------------------------- /tests/agda-stdlib-default/hello-world-proof.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda-stdlib-default/hello-world-proof.agda -------------------------------------------------------------------------------- /tests/agda-stdlib/hello-world-dep-lookup.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda-stdlib/hello-world-dep-lookup.agda -------------------------------------------------------------------------------- /tests/agda-stdlib/hello-world-dep.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda-stdlib/hello-world-dep.agda -------------------------------------------------------------------------------- /tests/agda-stdlib/hello-world-proof.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda-stdlib/hello-world-proof.agda -------------------------------------------------------------------------------- /tests/agda-stdlib/setup-agda-tests-agda-stdlib.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda-stdlib/setup-agda-tests-agda-stdlib.agda-lib -------------------------------------------------------------------------------- /tests/agda/greet.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda/greet.agda -------------------------------------------------------------------------------- /tests/agda/hello-world.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda/hello-world.agda -------------------------------------------------------------------------------- /tests/agda/setup-agda-tests-agda.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/agda/setup-agda-tests-agda.agda-lib -------------------------------------------------------------------------------- /tests/echo/echo.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/echo/echo.agda -------------------------------------------------------------------------------- /tests/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/workflows/build.yml -------------------------------------------------------------------------------- /tests/workflows/setup.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tests/workflows/setup.yml -------------------------------------------------------------------------------- /tsconfig-action.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tsconfig-action.json -------------------------------------------------------------------------------- /tsconfig-cli.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tsconfig-cli.json -------------------------------------------------------------------------------- /tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/setup-agda/HEAD/tsconfig.json --------------------------------------------------------------------------------