Rachel Lambda Samuelsson rachel
  • Gothenburg, Sweden
  • https://rachel.cafe
  • Interested in type theory, category theory and univalent foundations.

  • Joined on 2022-01-22
Loading Heatmap…

rachel pushed to berry at rachel/nixos-config

2024-03-28 16:22:05 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-18 16:00:07 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-16 16:19:01 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-15 12:00:11 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-14 16:35:44 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-14 15:03:35 +01:00

rachel pushed to main at xenchel/templates

2024-03-13 23:39:26 +01:00

rachel pushed to main at xenchel/templates

2024-03-13 23:33:37 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-12 14:56:34 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-12 14:52:44 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-12 14:44:09 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-12 12:41:54 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-12 12:22:50 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-12 12:20:53 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-12 11:59:35 +01:00

rachel created branch berry in rachel/nixos-config

2024-03-09 20:29:31 +01:00

rachel pushed to berry at rachel/nixos-config

2024-03-09 20:29:31 +01:00

rachel pushed to master at rachel/nixos-config

2024-03-05 20:44:34 +01:00

rachel pushed to master at rachel/nixos-config

2024-03-05 20:43:27 +01:00

rachel pushed to main at xenchel/templates

2024-03-05 19:10:04 +01:00