- Gothenburg, Sweden
- https://rachel.cafe
-
Interested in type theory, category theory and univalent foundations.
- Joined on
2022-01-22
my nixos configuration
Updated
Interested in type theory, category theory and univalent foundations.
my nixos configuration
Updated