|
|
bfd300de9e
|
updated nixpkgs
|
2024-02-06 16:31:04 +01:00 |
|
|
|
4d191d9a30
|
lean
|
2024-01-20 20:43:40 +01:00 |
|
|
|
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 |
|
|
|
485a6fcd5f
|
update lockfile
|
2023-10-15 21:52:21 +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 |
|
|
|
5817aafd3b
|
updated nixpkgs version
|
2023-09-01 10:45:09 +02:00 |
|
|
|
a123f87b22
|
switch to flake based config
|
2023-07-31 14:18:24 +02:00 |
|
