tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom
nixpkgs / pkgs / development / libraries / agda /
at 20.09 6 folders
agda-categories
agda-prelude
cubical
generic
iowa-stdlib
standard-library