nixpkgs
What happens if I push all of nixpkgs
Star
Fork
Watch
nixpkgs pkgs development libraries agda
11 folders
1lab
agda-categories
agda-prelude
agdarsec
cubical
cubical-mini
functional-linear-algebra
generic
generics
iowa-stdlib
standard-library