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 |
|