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-10-28 11:16:55 +02:00
6766b35e91 xkb config in console
rachel pushed to master at rachel/nixos-config 2023-10-27 23:46:14 +02:00
c6f1988ae1 normal modifiers in fox layout
rachel pushed to master at rachel/nixos-config 2023-10-27 23:33:03 +02:00
78a50f078d give in to xenias demands
rachel pushed to master at rachel/nixos-config 2023-10-27 21:56:14 +02:00
0e499fbd4d add layout
rachel pushed to master at rachel/rachel.cafe 2023-10-27 20:35:23 +02:00
1a69acd985 not using emacs anymore
rachel pushed to master at rachel/nixos-config 2023-10-24 20:06:22 +02:00
1378da5cab zulip
rachel pushed to master at rachel/nixos-config 2023-10-19 21:12:35 +02:00
62470e7c3e switch default layout
rachel pushed to master at rachel/nixos-config 2023-10-19 13:32:43 +02:00
a9aa84b9d1 add voidkeys
rachel pushed to master at rachel/nixos-config 2023-10-19 01:02:38 +02:00
2364ec5a90 remove alt caps toggle
df695d7188 fix tabs
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-10-19 00:59:46 +02:00
1b3880eb6a add fox layout
rachel pushed to master at rachel/nixos-config 2023-10-19 00:58:46 +02:00
646ab704ed add fox layout
rachel pushed to master at rachel/nixos-config 2023-10-19 00:55:49 +02:00
28df83dbd6 add fox layout
rachel pushed to master at rachel/nixos-config 2023-10-18 23:26:30 +02:00
707e3a3738 add swedish us layout
9438e80797 fix ssh
c71ab8ea85 openssh
30ab66549f lsp fixes
e54fe9162c direnv
Compare 5 commits »
rachel pushed to master at rachel/nixos-config 2023-10-15 23:29:02 +02:00
387b531fbb remove emacs
485a6fcd5f update lockfile
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-10-15 21:46:12 +02:00
a5102c92d0 add magma-nvim
2f409272b4 only show diagnostics on save
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-10-15 13:11:04 +02:00
3cd018123f configure haskell lsp and agda input
rachel pushed to main at xenchel/templates 2023-10-15 12:36:30 +02:00
efe70914bf use specified python version for flake
rachel pushed to main at xenchel/templates 2023-10-15 12:30:05 +02:00
c9c20cfde3 fix path to jupyter template
rachel pushed to main at xenchel/templates 2023-10-13 11:02:05 +02:00
95b23c70b1 added haskell template to nix file
rachel pushed to master at rachel/nixos-config 2023-10-12 23:24:43 +02:00
4f65cde626 add agda as flake