Commit Graph

9 Commits

Author SHA1 Message Date
Nathan McCarty c8efcc80cb
Add haskell dev tools 2022-10-31 11:53:04 -04:00
Nathan McCarty fca0155d5b
Add rlwrap to idris dev 2022-10-27 16:19:47 -04:00
Nathan McCarty 55d1b50998
Add idris deps 2022-10-26 17:07:30 -04:00
Nathan McCarty fc4ea15c0b
Add idris 2022-10-23 09:52:34 -04:00
Nathan McCarty 754e42af79 Start port to darwin
Get a working basic darwin config, including:
- Emacs
- Core utils
- Linking nix applications into ~/Applications
- Managing homebrew through nix
- Switch from nixpkgs-fmt to nixfmt
- Compile aspell with the needed dicts to make getting it working on mac
  smoother
2022-10-15 04:58:46 -04:00
Nathan McCarty 359b3d1524
make cargo-tarpaulin linux only 2022-09-04 03:36:15 -04:00
Nathan McCarty 067dd243ee
make mold linux specific 2022-09-04 03:33:35 -04:00
Nathan McCarty f8a4c48b0a
starter home 2022-09-04 03:29:35 -04:00
Nathan McCarty 092a0d0010
Seperate out linux home-manager 2022-09-04 03:11:06 -04:00