4 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	e43516374d	add lean4	2024-07-22 23:55:51 +02:00