- Gothenburg, Sweden
- https://rachel.cafe
-
Interested in type theory, category theory and univalent foundations.
- Joined on
2022-01-22
"modern" haskell implementation of the algorithm described in the paper of the same name.
Updated
Interested in type theory, category theory and univalent foundations.
"modern" haskell implementation of the algorithm described in the paper of the same name.
Updated