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