/setup-agda

Set up your GitHub Actions workflow with a specific version of Agda (+ stdlib + libraries from git repos)

Primary LanguageTypeScriptMIT LicenseMIT

setup-agda: CI for Agda

CI

This action sets up an Agda environment for use in other Github actions.