Age | Commit message (Expand) | Author |
---|---|---|
4 days | Re-namespace some stuff to Omni | Ben Sima |
4 days | Upgrade to nixos-24.05 | Ben Sima |
2024-05-09 | Switch to nixpkgs-23.11, ghc 9.6.3 | Ben Sima |
2024-04-01 | Add nixfmt to Lint.hs | Ben Sima |
2023-10-10 | Add beryllium and connect via VPN | Ben Sima |