Rachel Lambda Samuelsson rachel
1 Followers · 1 Following
  • Gothenburg, Sweden
  • https://rachel.cafe

  • Interested in type theory, category theory and univalent foundations.

  • Joined on 2022-01-22
Repositories
21
 Projects Packages Public Activity Starred Repositories
rachel pushed to master at rachel/nixos-config 2023-08-19 16:59:03 +02:00
51f30e487c added desktop (computational)
rachel pushed to master at rachel/nixos-config 2023-08-15 10:15:24 +02:00
fa0c922fd8 remove evil-leader
rachel pushed to master at rachel/emacs.d 2023-08-15 10:13:59 +02:00
cda97286e3 update config cause of new packages
rachel pushed to master at rachel/nixos-config 2023-08-15 10:06:56 +02:00
a50d98b67f remove bad packages
rachel pushed to master at rachel/nixos-config 2023-08-13 11:39:00 +02:00
62d6c679ca I undid undo tree
rachel pushed to master at rachel/nixos-config 2023-08-13 10:57:46 +02:00
934d357f21 add rmapi to home packages
52c93e5118 fix nix dev prompt whitespace
Compare 2 commits »
rachel pushed to master at rachel/rachel.cafe 2023-08-12 20:18:58 +02:00
a741d8d176 fix why-be-pure python code
08fd9d332a fix undo-tree
Compare 2 commits »
rachel pushed to main at xenchel/matabas 2023-08-10 01:56:25 +02:00
bf1d61f733 made code less legible
rachel pushed to main at xenchel/matabas 2023-08-10 01:15:25 +02:00
c5061e223c avoid socket issues
rachel pushed to main at xenchel/matabas 2023-08-09 19:23:59 +02:00
7f776f8053 fix packages
rachel pushed to main at xenchel/matabas 2023-08-09 19:18:56 +02:00
6274a990a6 fix packages
rachel pushed to main at xenchel/matabas 2023-08-08 20:58:23 +02:00
719c03887d move exit trap to function
rachel pushed to main at xenchel/matabas 2023-08-08 19:20:50 +02:00
2c41800782 add basic readme
rachel pushed to main at xenchel/matabas 2023-08-08 19:09:25 +02:00
0c617acc81 move devShell hook into seperate file
rachel pushed to main at xenchel/matabas 2023-08-08 17:44:10 +02:00
6cbc11c672 specify postgres lockfile for reproducability
751988225b prettier devShell hook
0c5deddbc0 add postgres dir to gitignore
Compare 3 commits »
rachel pushed to master at rachel/rachel.cafe 2023-08-02 18:57:11 +02:00
e3662a5aea fix typo
rachel pushed to master at rachel/nixos-config 2023-08-02 17:50:58 +02:00
d113683bdf add nix-develop prompt
rachel pushed to master at rachel/rachel.cafe 2023-08-02 17:04:46 +02:00
47be859ef7 fix flake
cd5df7b956 add flake
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-08-02 16:57:03 +02:00
34e5a3d281 remove nix-shell prompt behaviour since it does not function with nix shell
rachel pushed to master at rachel/nixos-config 2023-08-01 15:38:11 +02:00
f810146d4d fix theme for non-fixed resolutions
1fcc265a38 fix handling of theme to be sensible
Compare 2 commits »