Find a file
2024-01-01 13:28:21 +01:00
.vscode yay slides 2022-12-23 19:22:23 +01:00
figs Correct paxos fig 2023-01-11 16:05:02 +01:00
.gitignore nixify 2023-12-17 16:46:03 +01:00
flake.lock nix flake update 2024-01-01 13:28:21 +01:00
flake.nix nix flake add systems input 2024-01-01 13:28:18 +01:00
slides.md nixify 2023-12-17 16:46:03 +01:00