about summary refs log tree commit diff
path: root/users/grfn/system/home/modules/development/agda.nix (follow)
AgeCommit message (Expand)AuthorFilesLines
2021-09-07 r/2823 fix(gs/home): Hardcode home directoryGriffin Smith1-2/+2
2021-04-12 r/2485 refactor(users/glittershark): Rename to grfnGriffin Smith1-0/+58