Michael Zhang d24d992786 fuck agda		2021-10-13 00:12:38 -05:00
..
agda-vim-excerpts	fuck agda	2021-10-13 00:12:38 -05:00
patches	nix shit	2021-10-07 12:14:53 -05:00
default.nix	nix	2021-10-12 21:32:36 -05:00
keybinds.vim	asdf	2021-10-12 23:16:46 -05:00