Nathan McCarty ffe4a6c26b Enable idris2 on mac		2023-03-27 19:50:58 -04:00
..
core.nix	Git ssh signing darwin	2023-03-27 18:48:01 -04:00
devel.nix	Enable idris2 on mac	2023-03-27 19:50:58 -04:00
emacs.nix	Pdftools	2022-11-22 22:45:00 -05:00
terminal.nix	Add iosevka	2023-03-14 13:27:30 -04:00