agda-template. Imperfect Agda project template using Nix

github.com/srid/agda-template
by @srid

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.