nix
/
System
2
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
619 Commits 1 Branch 0 Tags 3.1 MiB
Commit Graph

12 Commits

Author SHA1 Message Date
Nathan McCarty ffe4a6c26b
Enable idris2 on mac 2023-03-27 19:50:58 -04:00
Nathan McCarty 9223e75f8f
Tweak webdev 2023-03-09 05:41:04 -05:00
Nathan McCarty 9c72b8744a
Add hut to core dev tools 2023-01-15 01:02:36 -05:00
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