- Gothenburg, Sweden
- https://rachel.cafe
-
Interested in type theory, category theory and univalent foundations.
- Joined on
2022-01-22
Updated
my nixos configuration
Updated
psDeriver is a file which lets one define postscript derivations simply.
Updated
Updated
Updated
A literate formalization of categories with families in cubical agda.
Updated
A “proof assistant” with holes and implicit arguments. Being developed to learn about elaboration, meta variables and OCaml.
Updated
"modern" haskell implementation of the algorithm described in the paper of the same name.
Updated
A typechecker for intensional MLTT without elaboration.
Updated
the sources for my website
Updated
A hindley-milner typechecker with inductive types.
Updated