System/home-manager
Nathan McCarty ffe4a6c26b
Enable idris2 on mac
2023-03-27 19:50:58 -04:00
..
common/programs Enable idris2 on mac 2023-03-27 19:50:58 -04:00
darwin Get emacs properly working on darwin 2023-03-27 19:42:30 -04:00
linux Mattermost 2023-03-27 09:15:49 -04:00
nix-on-droid Start port to darwin 2022-10-15 04:58:46 -04:00
options.nix Add haskell dev tools 2022-10-31 11:53:04 -04:00