/setup-idris

Github action for Idris setup

MIT LicenseMIT

Stargazers