Agda Home Manager module

A simple vibe coded home manager module

• Agda (2.8.0)
• agda-stdlib (2.3)

Usage:

programs.agda.enable = true;