- Gothenburg, Sweden
- https://rachel.cafe
-
Interested in type theory, category theory and univalent foundations.
- Joined on
2022-01-22
rachel pushed to berry at rachel/nixos-config
- 8200fc8758 berryc close
- b4177e3dee clangd
- Compare 2 commits »
rachel pushed to main at xenchel/templates
- 042af47d5f c template using meson
rachel pushed to berry at rachel/nixos-config
- 8eb7008aeb no error on no windows
rachel pushed to berry at rachel/nixos-config
- c4b963cd7e empty workspace fix
rachel pushed to berry at rachel/nixos-config
- 02d29fb799 battery warning
- 0da2b3060f mjau
- Compare 2 commits »
rachel pushed to berry at rachel/nixos-config
- 183490c955 initial berry testing
rachel pushed to master at rachel/nixos-config
- 924d7b21e0 bqn, ! fix for neovim