aljce / agda-nix-problem

The hackage version of Agda doesn't build

Geek Repo

Github PK Tool