wenkokke / setup-agdaLinks

Set up a specific version of Agda for your GitHub Actions workflow.
27Updated 2 weeks ago

Alternatives and similar repositories for setup-agda

Users that are interested in setup-agda are comparing it to the libraries listed below

Sorting: