|
|
08b393988f
|
fix cornelis being weird
|
2023-12-01 19:48:02 +01:00 |
|
|
|
55d22acb4f
|
switch to 23.11
|
2023-12-01 18:16:14 +01:00 |
|
|
|
9042ed10af
|
sax2 nerdfont
|
2023-11-18 23:30:05 +01:00 |
|
|
|
78bdf0a511
|
refactor out common options
|
2023-11-18 11:29:47 +01:00 |
|
|
|
78a50f078d
|
give in to xenias demands
|
2023-10-27 23:32:43 +02:00 |
|
|
|
1b3880eb6a
|
add fox layout
|
2023-10-19 00:59:41 +02:00 |
|
|
|
4f65cde626
|
add agda as flake
|
2023-10-12 23:24:36 +02:00 |
|
|
|
f6f49c964d
|
cornelis for agda mode in neovim
|
2023-10-06 12:01:35 +02:00 |
|
|
|
99232cfe9f
|
remove julia2nix
|
2023-10-06 01:12:55 +02:00 |
|
|
|
6cc6bd37cc
|
julia2nix
|
2023-09-12 21:36:52 +02:00 |
|
|
|
51f30e487c
|
added desktop (computational)
|
2023-08-19 16:58:57 +02:00 |
|
|
|
20dfde5bd0
|
remove rec from flake
|
2023-07-31 14:27:24 +02:00 |
|
|
|
a123f87b22
|
switch to flake based config
|
2023-07-31 14:18:24 +02:00 |
|
