git-annex: generate build instructions with cabal2nix
Agda: cosmetic change