- Gothenburg, Sweden
- https://rachel.cafe
-
Interested in type theory, category theory and univalent foundations.
- Joined on
2022-01-22
Block a user
527492044a
acme terms
9af033b5f3
preparing for deployment
1b33d42ae7
no githug dependency for install
13fafa4015
nopass key for filesystems