Michael Zhang b2e58c1704 Add Nix files + README		2021-12-09 08:21:09 -06:00
..
nvim-agda	Add Nix files + README	2021-12-09 08:21:09 -06:00
agda.nix	Add Nix files + README	2021-12-09 08:21:09 -06:00
neovim.nix	Add Nix files + README	2021-12-09 08:21:09 -06:00