/agda-nix-problem

The hackage version of Agda doesn't build

Primary LanguageNix

This repository is not active