36 Commits

Author	SHA1	Message	Date
Smaug123	40c8093b49	Remove custom GMP setup entirely	2021-12-12 19:10:12 +00:00
Smaug123	d2a1824116	Add another -D to cmake	2021-12-12 19:03:25 +00:00
Smaug123	2ee5ecc398	Add another -D to cmake	2021-12-12 18:46:40 +00:00
Smaug123	c9b2492ed1	Fix up Cmake again	2021-12-12 18:30:37 +00:00
Smaug123	a53ea4a87e	Fix Lean3 VSCode	2021-12-12 18:09:38 +00:00
Smaug123	db1d15fdf2	Enough to build Lean	2021-12-05 15:22:43 +00:00
Smaug123	e62158389b	Fix up gmp properly	2021-11-28 11:58:39 +00:00
Smaug123	e2cc0a629a	Switch back to VSCode	2021-11-21 08:18:17 +00:00
Smaug123	cab153ca17	Get Rust working	2021-11-17 19:36:43 +00:00
Smaug123	e2fbaed32f	Re-add Pijul	2021-11-16 21:09:55 +00:00
Smaug123	9f6763fea7	Basic aarch setup	2021-11-16 19:02:29 +00:00
Smaug123	6ce7625c13	Add Pijul and upgrade .NET	2021-11-14 09:57:08 +00:00
Patrick Stevens	488e07af2e	Rider home-manager module (#4)	2021-11-10 13:15:33 +00:00
Smaug123	e971992f28	Enable git rerere	2021-11-07 14:59:59 +00:00
Smaug123	929a4326ec	Hardlink in the store	2021-11-07 09:30:43 +00:00
Smaug123	1329700cd3	No more need to agda-mode locate	2021-11-04 21:42:17 +00:00
Smaug123	d483b6fa12	Add Lean again	2021-11-02 21:02:56 +00:00
Smaug123	8619b8fc1b	Actually re-add elan	2021-11-02 19:02:33 +00:00
Smaug123	7a58808287	Emacs and Agda	2021-10-31 18:21:04 +00:00
Smaug123	f4c453de97	Link to Docker in vscode docker extension	2021-10-31 14:37:25 +00:00
Smaug123	7cd4c074c5	Fix up after latest nixpkgs update	2021-10-30 21:59:03 +01:00
Smaug123	4226206375	VSCodium settings	2021-10-30 08:54:19 +01:00
Smaug123	3b1c3c655d	Shellcheck	2021-10-27 20:35:57 +01:00
Smaug123	b381b44220	Install Molokai again	2021-10-27 20:34:03 +01:00
Smaug123	752789e973	Revert some GMP stuff	2021-10-27 20:28:12 +01:00
Smaug123	e7f12e33b1	VSCodium	2021-10-16 09:36:21 +01:00
Smaug123	0ac9ec6e77	Upgrade to Big Sur	2021-10-10 12:51:36 +01:00
Smaug123	d9a173642f	Stop using emacs at all	2021-09-12 23:03:54 +01:00
Smaug123	a46c3ac058	Add ideavimrc	2021-09-12 23:00:09 +01:00
Smaug123	fa15df1d66	Add SSH config	2021-09-12 22:55:38 +01:00
Smaug123	f0676f8ac0	Add a commented-out spacemacs	2021-09-12 18:28:04 +01:00
Smaug123	cc653f460d	Add ripgrep and emacs	2021-08-29 23:52:22 +01:00
Smaug123	2a8b33a30b	Add youtube-dl config	2021-07-09 19:19:16 +01:00
Smaug123	5260915e52	Remove unnecessary bits	2021-07-09 08:51:10 +01:00
Smaug123	057ce85c95	Don't know why I need this	2021-07-09 00:21:19 +01:00
Smaug123	84f30e5eaa	Initial	2021-07-08 23:42:43 +01:00