Michael Zhang d24d992786 fuck agda		2021-10-13 00:12:38 -05:00
..
nvim-agda	fuck agda	2021-10-13 00:12:38 -05:00
agda.nix	nix	2021-10-12 21:32:36 -05:00
neovim.nix	asdf	2021-10-12 23:16:46 -05:00