askvity
Category: Type Theory
What is colon type?
What are functions in type theory?
What are the two types of type theory?
