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-07-31 15:20:14 +02:00
4adff4833c enable gpg agent
rachel pushed to master at rachel/nixos-config 2023-07-31 15:00:25 +02:00
d52e00bc15 update readme to mention the shared folder
rachel pushed to master at rachel/nixos-config 2023-07-31 14:41:07 +02:00
9a0d854b64 add grub theme to config
rachel pushed to master at rachel/nixos-config 2023-07-31 14:27:34 +02:00
20dfde5bd0 remove rec from flake
rachel pushed to master at rachel/nixos-config 2023-07-31 14:19:28 +02:00
8cda368897 change to flake based config
a123f87b22 switch to flake based config
Compare 2 commits »
rachel pushed to master at rachel/rachel.cafe 2023-07-28 17:22:15 +02:00
239e13246f did some writing on the train
rachel pushed to master at rachel/rachel.cafe 2023-07-25 12:13:20 +02:00
228e39067e fix link in about
rachel pushed to master at rachel/rachel.cafe 2023-07-25 12:02:49 +02:00
532c61d149 fix links
rachel pushed to master at rachel/kino 2023-07-25 11:58:02 +02:00
37e88a8d8e Merge branch 'master' of githug.xyz:rachel/kino
14861ec3ed added nix build
Compare 2 commits »
rachel pushed to master at rachel/emacs.d 2023-07-25 11:33:48 +02:00
60c28af592 add readme
rachel pushed to master at rachel/emacs.d 2023-07-25 11:32:40 +02:00
c619d288ed remove unused binds
rachel pushed to master at rachel/emacs.d 2023-07-25 11:30:36 +02:00
b97a34fdc1 cat.png
rachel pushed to master at rachel/emacs.d 2023-07-25 11:18:37 +02:00
eea118b66a fix gitignore
rachel pushed to master at rachel/emacs.d 2023-07-25 11:17:43 +02:00
c64357da53 haven't updated this in forever
rachel pushed to master at rachel/psDeriver 2023-07-23 17:48:30 +02:00
90f0f23ad5 fix shadowing issue and add purescript deriv as optional argument
rachel pushed to master at rachel/agda-web-test 2023-07-19 23:14:07 +02:00
3f8936fbab >:3
rachel pushed to master at rachel/rachel.cafe 2023-07-19 20:05:55 +02:00
4c1dbc44e2 nix stuff
rachel pushed to master at rachel/rachel.cafe 2023-04-19 15:32:07 +02:00
c1ca08f3f8 Merge branch 'master' of githug.xyz:depsterr/rachel.cafe
acba38f847 add addendum to a favourite proof of mine
Compare 2 commits »
rachel pushed to master at rachel/rachel.cafe 2023-04-16 19:02:39 +02:00
bfada7a256 add drafts
rachel pushed to master at rachel/rachel.cafe 2023-03-22 19:40:07 +01:00
9bdb9ac4d9 :)