|
|
19fc6838cd
|
feat: add quint-language-server
|
2024-08-30 10:58:18 -04:00 |
|
|
|
58001efeb2
|
update: simpler update mechanism
also fix a bad dependency
|
2024-08-30 10:32:03 -04:00 |
|
|
|
5e0acc47d2
|
maid: cleanup
|
2024-08-29 00:25:13 -04:00 |
|
|
|
a22971ac6d
|
fix: reference the subdirectory of the source flake
|
2024-08-28 23:43:52 -04:00 |
|
|
|
cea22e1a51
|
dev: Initial node2nix scaffolding
|
2024-08-28 22:58:12 -04:00 |
|
