Agda on NixOS

(borretti.me) by ibobev | Nov 14, 2025 | 0 comments on HN