tjh.dev / nixpkgs
nixpkgs mirror (for testing) github.com/NixOS/nixpkgs
nix
fork atom
nixpkgs / pkgs / development / libraries / agda /
at 20.09 6 folders
agda-categories
agda-prelude
cubical
generic
iowa-stdlib
standard-library