 HigherOrderLogicandTangled
|
dbc3c23c95
|
fix(nix): allow fetch Git deps
|
2026-04-09 21:30:03 +00:00 |
|
 teqandTangled
|
770a16b043
|
fix(nix): add hashes for git deps
|
2026-03-23 03:00:23 +00:00 |
|
 teqandTangled
|
d37f38e496
|
fix(nix): add protobuf for spqr
|
2026-03-23 03:00:23 +00:00 |
|
 LewisandTangled
|
d5ed420dd7
|
fix: move code to more correct crates
|
2026-03-17 10:16:36 +00:00 |
|
 lewisandTangled
|
1521f98b2e
|
feat: actual good config from Isabel
|
2026-02-21 20:51:03 +00:00 |
|
 nelindandTangled
|
a1b3d8fd11
|
fix: nix pds build
|
2026-01-28 17:42:13 +00:00 |
|
 nelindandTangled
|
a3b5f6135a
|
add license information
|
2025-12-25 18:57:18 +00:00 |
|
 nelindandTangled
|
3af1b7ee44
|
add LSPs for the frontend to devshell and fix default.nix formatting
|
2025-12-25 21:04:32 +00:00 |
|
 nelindandTangled
|
ac792fdd75
|
add nix package, devshell and an .envrc
|
2025-12-23 21:38:19 +00:00 |
|