checklist.day

Agda

JSON →
cli 2.8.0 ·haskell
✓ install reviewed
devops

Dependently typed functional programming language with a CLI. Available on Homebrew and apt.

Resources

homepagewiki.portal.chalmers.se/agda/ ↗

API endpoints

full doc /v1/registry/agda
install /v1/registry/agda/install