19 commits

Author	SHA1	Message	Date
Maciej Jur	90e6b3bf9b	haskell, switch to lix	2024-07-31 18:50:29 +02:00
Maciej Jur	b7de76fe52	refactor	2024-07-27 16:13:48 +02:00
Maciej Jur	e47eaa32a3	nixos: clean up cache in home	2024-07-27 14:03:17 +02:00
Maciej Jur	2985a4e744	nixos: fix sound	2024-07-27 12:43:51 +02:00
Maciej Jur	e43516374d	add lean4	2024-07-22 23:55:51 +02:00
Maciej Jur	9b17adb594	nixos: add ocaml	2024-07-08 20:41:23 +02:00
Maciej Jur	72b99a4f8e	nixos: use unstable channel	2024-06-29 14:11:09 +02:00
Maciej Jur	c28277fb98	nixos: add ghci	2024-06-28 18:44:23 +02:00
Maciej Jur	00ebc2d6a8	nixos: home config	2024-06-28 18:03:13 +02:00
Maciej Jur	206bd48fb2	nixos: add home-manager	2024-06-28 00:49:04 +02:00
Maciej Jur	aef79fbef9	nixos: fix steam scaling	2024-06-21 19:59:57 +02:00
Maciej Jur	cf1813f3c0	nixos: gaming config	2024-06-21 18:54:38 +02:00
Maciej Jur	9657585534	nixos: add plymouth	2024-06-14 18:04:21 +02:00
Maciej Jur	bb1ee98dce	nvim: fix rust tools	2024-06-13 23:37:34 +02:00
Maciej Jur	836cd21dbb	nixos: add firefox portals	2024-06-12 00:42:05 +02:00
Maciej Jur	6b90a8083e	nixos: enable alsa	2024-06-10 20:14:38 +02:00
Maciej Jur	15fd8c5da0	nixos: gc	2024-06-09 23:54:32 +02:00
Maciej Jur	a39e13373b	nixos: refactor home	2024-06-09 16:37:54 +02:00
Maciej Jur	b154030d21	move to nixos	2024-06-09 00:36:28 +02:00