Cass Alexandru cxandru@types.pl
Category Theory Agda Haskell Nix Emacs Recursion Schemes Generic Programming Language Acquisition New Masculinities Vegan Sustainable Skeptic Friend Meditation Yin Maker 🇪🇺an
Category Theory Agda Haskell Nix Emacs Recursion Schemes Generic Programming Language Acquisition New Masculinities Vegan Sustainable Skeptic Friend Meditation Yin Maker 🇪🇺an