about summary refs log tree commit diff
path: root/pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda2-mode
AgeCommit message (Expand)AuthorFilesLines
2024-04-07haskellPackages.Agda: Split outputs to reduce closure sizePhilipp Joram1-5/+7
2022-11-13treewide: move all ad-hoc elisp packages to manual-packages/AndersonTorres1-0/+27