Post #2586843

@tila@girldick.gay "A type is, um, uh" that is supposedly solved by the mythical texts of Homotopy Type Theory Or so they proclaim in the introduction :neobot_woozy: I stick to the "a type is a thing that acts like a type" definition