I guess my point is if you learned to program 30 years ago using functional prog...

gclaramunt on June 11, 2015 | parent | context | favorite | on: Ask HN: How to deal with the tedium of programming...

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?