Pi and Sigma types. Types depend on terms.
no voted pairs yet in this scope
npx slugsocial@latest public garden body ~/dependent-type-theory