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

46

Projects Packages Public Activity Starred Repositories

Loading Heatmap…

rachel pushed to master at rachel/nixos-config

• 387b531fbb remove emacs
• 485a6fcd5f update lockfile
• Compare 2 commits »

2023-10-15 23:29:02 +02:00

rachel pushed to master at rachel/nixos-config

• a5102c92d0 add magma-nvim
• 2f409272b4 only show diagnostics on save
• Compare 2 commits »

2023-10-15 21:46:12 +02:00

rachel pushed to master at rachel/nixos-config

• 3cd018123f configure haskell lsp and agda input

2023-10-15 13:11:04 +02:00

rachel pushed to main at xenchel/templates

• efe70914bf use specified python version for flake

2023-10-15 12:36:30 +02:00

rachel pushed to main at xenchel/templates

• c9c20cfde3 fix path to jupyter template

2023-10-15 12:30:05 +02:00

rachel pushed to main at xenchel/templates

• 95b23c70b1 added haskell template to nix file

2023-10-13 11:02:05 +02:00

rachel pushed to master at rachel/nixos-config

• 4f65cde626 add agda as flake

2023-10-12 23:24:43 +02:00

rachel pushed to main at xenchel/templates

• 704b32de03 added haskell template

2023-10-12 22:05:51 +02:00

rachel pushed to master at rachel/nixos-config

• 4a734f2eaf fix binds due to weird terminal behaviour

2023-10-10 21:58:32 +02:00

rachel pushed to master at rachel/nixos-config

• b6adbfa3e9 neovim: emacs agda mode bindings

2023-10-10 21:14:29 +02:00

rachel pushed to master at rachel/nixos-config

• 23c299b0e2 only one bufferline per nvim instance

2023-10-09 12:09:45 +02:00

rachel pushed to master at rachel/nixos-config

• f528d9ac82 neovim cornelis bindings
• 653f04136b lesbian colos in tmux
• Compare 2 commits »

2023-10-07 14:12:50 +02:00

rachel pushed to master at rachel/nixos-config

• 9a3b9f3946 fix comment neovim plugin not being set up

2023-10-06 22:16:24 +02:00

rachel pushed to master at rachel/nixos-config

• 910d579100 hyfetch
• f6f49c964d cornelis for agda mode in neovim
• Compare 2 commits »

2023-10-06 12:01:50 +02:00

rachel pushed to master at rachel/nixos-config

• 3086fef55a specify colors for tmux and alacritty

2023-10-06 10:45:37 +02:00

rachel pushed to master at rachel/nixos-config

• 988781de9c add rust mode emacs
• 216e662dbd add alternative config to try to get clean of emacs
• 99232cfe9f remove julia2nix
• bee806ee9b texlive
• Compare 4 commits »

2023-10-06 01:15:15 +02:00

rachel pushed to master at rachel/rachel.cafe

• c5885104d4 mjau

2023-09-15 11:03:51 +02:00

rachel pushed to master at rachel/rachel.cafe

• 2892519634 DO NOT THINK ABOUT THIS
• 96b61100db update draft
• Compare 2 commits »

2023-09-15 00:05:36 +02:00

rachel pushed to master at rachel/nixos-config

• 6cc6bd37cc julia2nix

2023-09-12 21:37:19 +02:00

rachel pushed to master at rachel/nixos-config

2023-09-07 19:49:43 +02:00