10 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	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	836cd21dbb	nixos: add firefox portals	2024-06-12 00:42:05 +02:00
Maciej Jur	a39e13373b	nixos: refactor home	2024-06-09 16:37:54 +02:00