8 Commits

Author	SHA1	Message	Date
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