agda-pkg. apkg - package manager for Agda

github.com/agda/agda-pkg
by @agda

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.