I guess my point is if you learned to program 30 years ago using functional programming with dependent types and category theory, it must have been an awesome p

I guess my point is if you learned to program 30 years ago using functional programming with dependent types and category theory, it must have been an awesome place to work/study, and I envy you. Which university it was?