https://monade.li [email protected]
Chalmers University of Technology Sweden aka ncf. PhD student working on cubical type theory.
Naïm Camille Favier
My NixOS configurations
ncfavier
