[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: The Accessibility of Type Theory Research



> The obvious answer that you seem to lead up is "by teaching them" (or
> dually, "by their learning").  Regardless of whether you intended to
> lead up to this answer, I would completely agree with it. (:
> 
>   Ken

Yup, that was the take away message!  :-)

--- Peter