tjh.dev / nixpkgs
nixpkgs mirror (for testing) github.com/NixOS/nixpkgs
nix
fork atom
nixpkgs / pkgs / development / libraries / agda /
at r-updates 11 folders
1lab
agda-categories
agda-prelude
agda2hs-base
agdarsec
cubical
cubical-mini
functional-linear-algebra
generics
iowa-stdlib
standard-library